fix(48031): show circularity error for self referential get accessor annotations

Author: a-tarasyuk

src/compiler/checker.ts

@@ -9511,16 +9511,19 @@ namespace ts {
         }
 
         function getTypeOfAccessorsWorker(symbol: Symbol, writing = false): Type | undefined {
+            const getter = getDeclarationOfKind<AccessorDeclaration>(symbol, SyntaxKind.GetAccessor);
             if (!pushTypeResolution(symbol, TypeSystemPropertyName.Type)) {
+                if (getter && getEffectiveTypeAnnotationNode(getter)) {
+                    error(getter.name, Diagnostics._0_is_referenced_directly_or_indirectly_in_its_own_type_annotation,
+                        symbolToString(symbol));
+                }
                 return errorType;
             }
 
             let type = resolveTypeOfAccessors(symbol, writing);
-
             if (!popTypeResolution()) {
                 type = anyType;
                 if (noImplicitAny) {
-                    const getter = getDeclarationOfKind<AccessorDeclaration>(symbol, SyntaxKind.GetAccessor);
                     error(getter, Diagnostics._0_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, symbolToString(symbol));
                 }
             }

tests/baselines/reference/circularGetAccessor.errors.txt

@@ -0,0 +1,10 @@
+tests/cases/compiler/circularGetAccessor.ts(2,9): error TS2502: 'foo' is referenced directly or indirectly in its own type annotation.
+
+
+==== tests/cases/compiler/circularGetAccessor.ts (1 errors) ====
+    declare class C {
+        get foo(): typeof this.foo;
+            ~~~
+!!! error TS2502: 'foo' is referenced directly or indirectly in its own type annotation.
+    }
+    

tests/baselines/reference/circularGetAccessor.js

@@ -0,0 +1,7 @@
+//// [circularGetAccessor.ts]
+declare class C {
+    get foo(): typeof this.foo;
+}
+
+
+//// [circularGetAccessor.js]

tests/baselines/reference/circularGetAccessor.symbols

@@ -0,0 +1,11 @@
+=== tests/cases/compiler/circularGetAccessor.ts ===
+declare class C {
+>C : Symbol(C, Decl(circularGetAccessor.ts, 0, 0))
+
+    get foo(): typeof this.foo;
+>foo : Symbol(C.foo, Decl(circularGetAccessor.ts, 0, 17))
+>this.foo : Symbol(C.foo, Decl(circularGetAccessor.ts, 0, 17))
+>this : Symbol(C, Decl(circularGetAccessor.ts, 0, 0))
+>foo : Symbol(C.foo, Decl(circularGetAccessor.ts, 0, 17))
+}
+

tests/baselines/reference/circularGetAccessor.types

@@ -0,0 +1,11 @@
+=== tests/cases/compiler/circularGetAccessor.ts ===
+declare class C {
+>C : C
+
+    get foo(): typeof this.foo;
+>foo : any
+>this.foo : any
+>this : this
+>foo : any
+}
+

tests/cases/compiler/circularGetAccessor.ts

@@ -0,0 +1,3 @@
+declare class C {
+    get foo(): typeof this.foo;
+}