5  * You may obtain a copy of the License at
17 function func1<Type, A, B extends readonly number[]>(arg: Type): Type {
21 function func2<A extends { a: number, b: string }>() { }
23 function func3<A extends keyof { a: { b: number, c: boolean }, b: [number, string] }>(a: A, b: stri…
30     a: number,  property
34 interface U<A extends readonly [number, number, { a: number, b: string }], Z = boolean> extends R<[…
35     <A>(): number,
36     readonly<A extends number>(): [boolean, number[]];
40 func2<<A>() => {}>();
43     a: function <B, C extends typeof func1>() { },
48 class A<T extends B, Z = { a: number, b: string }> {  class
49     public a<T, R>() { };  method in A
50     private b<E extends (a: number, b: string) => any[]>() { }
57 class X extends Q<number> implements S<<R>(a:number, b:string) => [number]>, A {
61 var a: new <A>() => <B>() => string;  variable
62 var b: <A extends T, U = 5>(a: number | string) => { a: number };
64 var c: B.T<A<C<number>>>[0];
65 var d: A<number, { a: number, b: string }, [number, string]>;
66 var e: T<<A>() => {}>;
69 type P<K, Q = [number, number, string] | any[]> = {a:K, b:Q};
71 async<<A>() => {}>();
73 <A extends B>():number => true;
74 async<A extends readonly [number, string]>() => {return "foo";};