add repro test

Author: gabritto

tests/baselines/reference/classVarianceCircularity.errors.txt

@@ -0,0 +1,20 @@
+tests/cases/compiler/classVarianceCircularity.ts(13,5): error TS7022: 'Value' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.
+
+
+==== tests/cases/compiler/classVarianceCircularity.ts (1 errors) ====
+    // Issue #52813
+    
+    function f() {
+        const b = new Bar();
+        // Uncomment to create error
+        console.log(b.Value);
+    }
+    
+    class Bar<T> {
+        num!: number;
+        // Or swap these two lines
+        Field: number = (this as Bar<any>).num;
+        Value = (this as Bar<any>).num;
+        ~~~~~
+!!! error TS7022: 'Value' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.
+    }

tests/baselines/reference/classVarianceCircularity.js

@@ -0,0 +1,32 @@
+//// [classVarianceCircularity.ts]
+// Issue #52813
+
+function f() {
+    const b = new Bar();
+    // Uncomment to create error
+    console.log(b.Value);
+}
+
+class Bar<T> {
+    num!: number;
+    // Or swap these two lines
+    Field: number = (this as Bar<any>).num;
+    Value = (this as Bar<any>).num;
+}
+
+//// [classVarianceCircularity.js]
+"use strict";
+// Issue #52813
+function f() {
+    var b = new Bar();
+    // Uncomment to create error
+    console.log(b.Value);
+}
+var Bar = /** @class */ (function () {
+    function Bar() {
+        // Or swap these two lines
+        this.Field = this.num;
+        this.Value = this.num;
+    }
+    return Bar;
+}());

tests/baselines/reference/classVarianceCircularity.symbols

@@ -0,0 +1,42 @@
+=== tests/cases/compiler/classVarianceCircularity.ts ===
+// Issue #52813
+
+function f() {
+>f : Symbol(f, Decl(classVarianceCircularity.ts, 0, 0))
+
+    const b = new Bar();
+>b : Symbol(b, Decl(classVarianceCircularity.ts, 3, 9))
+>Bar : Symbol(Bar, Decl(classVarianceCircularity.ts, 6, 1))
+
+    // Uncomment to create error
+    console.log(b.Value);
+>console.log : Symbol(Console.log, Decl(lib.dom.d.ts, --, --))
+>console : Symbol(console, Decl(lib.dom.d.ts, --, --))
+>log : Symbol(Console.log, Decl(lib.dom.d.ts, --, --))
+>b.Value : Symbol(Bar.Value, Decl(classVarianceCircularity.ts, 11, 43))
+>b : Symbol(b, Decl(classVarianceCircularity.ts, 3, 9))
+>Value : Symbol(Bar.Value, Decl(classVarianceCircularity.ts, 11, 43))
+}
+
+class Bar<T> {
+>Bar : Symbol(Bar, Decl(classVarianceCircularity.ts, 6, 1))
+>T : Symbol(T, Decl(classVarianceCircularity.ts, 8, 10))
+
+    num!: number;
+>num : Symbol(Bar.num, Decl(classVarianceCircularity.ts, 8, 14))
+
+    // Or swap these two lines
+    Field: number = (this as Bar<any>).num;
+>Field : Symbol(Bar.Field, Decl(classVarianceCircularity.ts, 9, 17))
+>(this as Bar<any>).num : Symbol(Bar.num, Decl(classVarianceCircularity.ts, 8, 14))
+>this : Symbol(Bar, Decl(classVarianceCircularity.ts, 6, 1))
+>Bar : Symbol(Bar, Decl(classVarianceCircularity.ts, 6, 1))
+>num : Symbol(Bar.num, Decl(classVarianceCircularity.ts, 8, 14))
+
+    Value = (this as Bar<any>).num;
+>Value : Symbol(Bar.Value, Decl(classVarianceCircularity.ts, 11, 43))
+>(this as Bar<any>).num : Symbol(Bar.num, Decl(classVarianceCircularity.ts, 8, 14))
+>this : Symbol(Bar, Decl(classVarianceCircularity.ts, 6, 1))
+>Bar : Symbol(Bar, Decl(classVarianceCircularity.ts, 6, 1))
+>num : Symbol(Bar.num, Decl(classVarianceCircularity.ts, 8, 14))
+}

tests/baselines/reference/classVarianceCircularity.types

@@ -0,0 +1,45 @@
+=== tests/cases/compiler/classVarianceCircularity.ts ===
+// Issue #52813
+
+function f() {
+>f : () => void
+
+    const b = new Bar();
+>b : Bar<unknown>
+>new Bar() : Bar<unknown>
+>Bar : typeof Bar
+
+    // Uncomment to create error
+    console.log(b.Value);
+>console.log(b.Value) : void
+>console.log : (...data: any[]) => void
+>console : Console
+>log : (...data: any[]) => void
+>b.Value : any
+>b : Bar<unknown>
+>Value : any
+}
+
+class Bar<T> {
+>Bar : Bar<T>
+
+    num!: number;
+>num : number
+
+    // Or swap these two lines
+    Field: number = (this as Bar<any>).num;
+>Field : number
+>(this as Bar<any>).num : number
+>(this as Bar<any>) : Bar<any>
+>this as Bar<any> : Bar<any>
+>this : this
+>num : number
+
+    Value = (this as Bar<any>).num;
+>Value : any
+>(this as Bar<any>).num : number
+>(this as Bar<any>) : Bar<any>
+>this as Bar<any> : Bar<any>
+>this : this
+>num : number
+}

tests/cases/compiler/classVarianceCircularity.ts

@@ -0,0 +1,16 @@
+// @strict: true
+
+// Issue #52813
+
+function f() {
+    const b = new Bar();
+    // Uncomment to create error
+    console.log(b.Value);
+}
+
+class Bar<T> {
+    num!: number;
+    // Or swap these two lines
+    Field: number = (this as Bar<any>).num;
+    Value = (this as Bar<any>).num;
+}