=== tests/cases/compiler/assignmentCompatibilityForConstrainedTypeParameters.ts ===
function foo<T extends { bar: string }>() {
>foo : Symbol(foo, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 0, 0))
>T : Symbol(T, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 0, 13))
>bar : Symbol(bar, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 0, 24))

  function bar<S extends T>() {
>bar : Symbol(bar, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 0, 43))
>S : Symbol(S, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 1, 15))
>T : Symbol(T, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 0, 13))

    var x: S;
>x : Symbol(x, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 2, 7))
>S : Symbol(S, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 1, 15))

    var y: T;
>y : Symbol(y, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 3, 7))
>T : Symbol(T, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 0, 13))

       y = x;
>y : Symbol(y, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 3, 7))
>x : Symbol(x, Decl(assignmentCompatibilityForConstrainedTypeParameters.ts, 2, 7))
    }
}