3 // Repeated use of Tv bound to something different in each class is meant
4 // to be a stress-test of tricksy typing_decl instantiation code
6 abstract class Super
<Tk
, Tv
> {}
8 abstract class SuperChild
<Tv
> extends Super
<varray
<mixed>, Tv
> {}
11 require extends Super
<Tk
, Awaitable
<Tv
>>;
14 class C1
extends SuperChild
<Awaitable
<bool>> {
15 use TReq
<varray
<mixed>, bool>;