tests/cases/compiler/typeParameterAssignmentWithConstraints.ts(1,15): error TS2313: Constraint of a type parameter cannot reference any type parameter from the same type parameter list.
tests/cases/compiler/typeParameterAssignmentWithConstraints.ts(4,5): error TS2322: Type 'B' is not assignable to type 'A'.


==== tests/cases/compiler/typeParameterAssignmentWithConstraints.ts (2 errors) ====
    function f<A, B extends A>() {
                  ~~~~~~~~~~~
!!! error TS2313: Constraint of a type parameter cannot reference any type parameter from the same type parameter list.
        var a: A;
        var b: B;
        a = b; // Error: Can't convert B to A
        ~
!!! error TS2322: Type 'B' is not assignable to type 'A'.
    }