Accepting new baselines

Author: ahejlsberg

tests/baselines/reference/implicitAnyFromCircularInference.errors.txt

@@ -1,6 +1,6 @@
-tests/cases/compiler/implicitAnyFromCircularInference.ts(3,5): error TS7021: 'a' implicitly has type 'any' because it is referenced directly or indirectly in its own type annotation.
-tests/cases/compiler/implicitAnyFromCircularInference.ts(7,5): error TS7021: 'c' implicitly has type 'any' because it is referenced directly or indirectly in its own type annotation.
-tests/cases/compiler/implicitAnyFromCircularInference.ts(10,5): error TS7021: 'd' implicitly has type 'any' because it is referenced directly or indirectly in its own type annotation.
+tests/cases/compiler/implicitAnyFromCircularInference.ts(3,5): error TS2502: 'a' is referenced directly or indirectly in its own type annotation.
+tests/cases/compiler/implicitAnyFromCircularInference.ts(7,5): error TS2502: 'c' is referenced directly or indirectly in its own type annotation.
+tests/cases/compiler/implicitAnyFromCircularInference.ts(10,5): error TS2502: 'd' is referenced directly or indirectly in its own type annotation.
 tests/cases/compiler/implicitAnyFromCircularInference.ts(15,10): error TS7023: 'g' implicitly has return type 'any' because it does not have a return type annotation and is referenced directly or indirectly in one of its return expressions.
 tests/cases/compiler/implicitAnyFromCircularInference.ts(18,10): error TS7024: Function implicitly has return type 'any' because it does not have a return type annotation and is referenced directly or indirectly in one of its return expressions.
 tests/cases/compiler/implicitAnyFromCircularInference.ts(23,10): error TS7024: Function implicitly has return type 'any' because it does not have a return type annotation and is referenced directly or indirectly in one of its return expressions.
@@ -14,18 +14,18 @@ tests/cases/compiler/implicitAnyFromCircularInference.ts(46,5): error TS7023: 'x
     // Error expected
     var a: typeof a;
         ~
-!!! error TS7021: 'a' implicitly has type 'any' because it is referenced directly or indirectly in its own type annotation.
+!!! error TS2502: 'a' is referenced directly or indirectly in its own type annotation.
 
     // Error expected on b or c
     var b: typeof c;
     var c: typeof b;
         ~
-!!! error TS7021: 'c' implicitly has type 'any' because it is referenced directly or indirectly in its own type annotation.
+!!! error TS2502: 'c' is referenced directly or indirectly in its own type annotation.
 
     // Error expected
     var d: Array<typeof d>;
         ~
-!!! error TS7021: 'd' implicitly has type 'any' because it is referenced directly or indirectly in its own type annotation.
+!!! error TS2502: 'd' is referenced directly or indirectly in its own type annotation.
 
     function f() { return f; }
 

tests/baselines/reference/recursiveTypesWithTypeof.errors.txt

@@ -0,0 +1,73 @@
+tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(2,5): error TS2502: 'c' is referenced directly or indirectly in its own type annotation.
+tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(6,5): error TS2502: 'e' is referenced directly or indirectly in its own type annotation.
+tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(10,5): error TS2502: 'f' is referenced directly or indirectly in its own type annotation.
+tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(12,5): error TS2502: 'f2' is referenced directly or indirectly in its own type annotation.
+tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(14,5): error TS2502: 'f3' is referenced directly or indirectly in its own type annotation.
+tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts(51,5): error TS2502: 'hy3' is referenced directly or indirectly in its own type annotation.
+
+
+==== tests/cases/conformance/types/specifyingTypes/typeQueries/recursiveTypesWithTypeof.ts (6 errors) ====
+    // The following are errors because of circular references
+    var c: typeof c;
+        ~
+!!! error TS2502: 'c' is referenced directly or indirectly in its own type annotation.
+    var c: any;
+    var d: typeof e;
+    var d: any;
+    var e: typeof d;
+        ~
+!!! error TS2502: 'e' is referenced directly or indirectly in its own type annotation.
+    var e: any;
+    
+    interface Foo<T> { }
+    var f: Array<typeof f>;
+        ~
+!!! error TS2502: 'f' is referenced directly or indirectly in its own type annotation.
+    var f: any;
+    var f2: Foo<typeof f2>;
+        ~~
+!!! error TS2502: 'f2' is referenced directly or indirectly in its own type annotation.
+    var f2: any;
+    var f3: Foo<typeof f3>[];
+        ~~
+!!! error TS2502: 'f3' is referenced directly or indirectly in its own type annotation.
+    var f3: any;
+    
+    // None of these declarations should have any errors!
+    // Truly recursive types
+    var g: { x: typeof g; };
+    var g: typeof g.x;
+    var h: () => typeof h;
+    var h = h();
+    var i: (x: typeof i) => typeof x;
+    var i = i(i);
+    var j: <T extends typeof j>(x: T) => T;
+    var j = j(j);
+    
+    // Same as h, i, j with construct signatures
+    var h2: new () => typeof h2;
+    var h2 = new h2();
+    var i2: new (x: typeof i2) => typeof x;
+    var i2 = new i2(i2);
+    var j2: new <T extends typeof j2>(x: T) => T;
+    var j2 = new j2(j2);
+    
+    // Indexers
+    var k: { [n: number]: typeof k;[s: string]: typeof k };
+    var k = k[0];
+    var k = k[''];
+    
+    // Hybrid - contains type literals as well as type arguments
+    // These two are recursive
+    var hy1: { x: typeof hy1 }[];
+    var hy1 = hy1[0].x;
+    var hy2: { x: Array<typeof hy2> };
+    var hy2 = hy2.x[0];
+    
+    interface Foo2<T, U> { }
+    
+    // This one should be an error because the first type argument is not contained inside a type literal
+    var hy3: Foo2<typeof hy3, { x: typeof hy3 }>;
+        ~~~
+!!! error TS2502: 'hy3' is referenced directly or indirectly in its own type annotation.
+    var hy3: any;

tests/baselines/reference/recursiveTypesWithTypeof.js

@@ -1,14 +1,12 @@
 //// [recursiveTypesWithTypeof.ts]
-// None of these declarations should have any errors!
-// Using typeof directly, these should be any
+// The following are errors because of circular references
 var c: typeof c;
 var c: any;
 var d: typeof e;
 var d: any;
 var e: typeof d;
 var e: any;
 
-// In type arguments, these should be any
 interface Foo<T> { }
 var f: Array<typeof f>;
 var f: any;
@@ -17,6 +15,7 @@ var f2: any;
 var f3: Foo<typeof f3>[];
 var f3: any;
 
+// None of these declarations should have any errors!
 // Truly recursive types
 var g: { x: typeof g; };
 var g: typeof g.x;
@@ -49,13 +48,12 @@ var hy2 = hy2.x[0];
 
 interface Foo2<T, U> { }
 
-// This one should be any because the first type argument is not contained inside a type literal
+// This one should be an error because the first type argument is not contained inside a type literal
 var hy3: Foo2<typeof hy3, { x: typeof hy3 }>;
 var hy3: any;
 
 //// [recursiveTypesWithTypeof.js]
-// None of these declarations should have any errors!
-// Using typeof directly, these should be any
+// The following are errors because of circular references
 var c;
 var c;
 var d;
@@ -68,6 +66,7 @@ var f2;
 var f2;
 var f3;
 var f3;
+// None of these declarations should have any errors!
 // Truly recursive types
 var g;
 var g;
@@ -94,6 +93,6 @@ var hy1;
 var hy1 = hy1[0].x;
 var hy2;
 var hy2 = hy2.x[0];
-// This one should be any because the first type argument is not contained inside a type literal
+// This one should be an error because the first type argument is not contained inside a type literal
 var hy3;
 var hy3;