tests/cases/conformance/types/typeRelationships/assignmentCompatibility/anyAssignableToEveryType2.ts(114,18): error TS2313: Constraint of a type parameter cannot reference any type parameter from the same type parameter list.


==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/anyAssignableToEveryType2.ts (1 errors) ====
    // any is not a subtype of any other types, but is assignable, all the below should work
    
    interface I {
        [x: string]: any;
        foo: any; // ok, any identical to itself
    }
    
    
    interface I2 {
        [x: string]: number;
        foo: any;
    }
    
    
    interface I3 {
        [x: string]: string;
        foo: any;
    }
    
    
    interface I4 {
        [x: string]: boolean;
        foo: any;
    }
    
    
    interface I5 {
        [x: string]: Date;
        foo: any;
    }
    
    
    interface I6 {
        [x: string]: RegExp;
        foo: any;
    }
    
    
    interface I7 {
        [x: string]: { bar: number };
        foo: any;
    }
    
    
    interface I8 {
        [x: string]: number[];
        foo: any;
    }
    
    
    interface I9 {
        [x: string]: I8;
        foo: any;
    }
    
    class A { foo: number; }
    interface I10 {
        [x: string]: A;
        foo: any;
    }
    
    class A2<T> { foo: T; }
    interface I11 {
        [x: string]: A2<number>;
        foo: any;
    }
    
    
    interface I12 {
        [x: string]: (x) => number;
        foo: any;
    }
    
    
    interface I13 {
        [x: string]: <T>(x: T) => T;
        foo: any;
    }
    
    
    enum E { A }
    interface I14 {
        [x: string]: E;
        foo: any;
    }
    
    
    function f() { }
    module f {
        export var bar = 1;
    }
    interface I15 {
        [x: string]: typeof f;
        foo: any;
    }
    
    
    class c { baz: string }
    module c {
        export var bar = 1;
    }
    interface I16 {
        [x: string]: typeof c;
        foo: any;
    }
    
    
    interface I17<T> {
        [x: string]: T;
        foo: any;
    }
    
    
    interface I18<T, U extends T> {
                     ~~~~~~~~~~~
!!! error TS2313: Constraint of a type parameter cannot reference any type parameter from the same type parameter list.
        [x: string]: U;
        foo: any;
    }
    
    
    interface I19 {
        [x: string]: Object;
        foo: any;
    }
    
    
    interface I20 {
        [x: string]: {};
        foo: any;
    }
    