=== tests/cases/compiler/generics5.ts ===
interface A { a: string; }
>a : string

interface B extends A { b: string; }
>b : string

interface C extends B { c: string; }
>c : string

interface G<T, U extends B> {


}

var v3: G<A, A>;               // Error, A not valid argument for U
>v3 : G<A, A>


