Add regression test

Author: ahejlsberg

tests/baselines/reference/typeofThisInMethodSignature.symbols

@@ -0,0 +1,23 @@
+=== tests/cases/compiler/typeofThisInMethodSignature.ts ===
+// Repro from #54167
+
+export class A {
+>A : Symbol(A, Decl(typeofThisInMethodSignature.ts, 0, 0))
+
+	x = 1
+>x : Symbol(A.x, Decl(typeofThisInMethodSignature.ts, 2, 16))
+
+	a(x: typeof this.x): void {}
+>a : Symbol(A.a, Decl(typeofThisInMethodSignature.ts, 3, 6))
+>x : Symbol(x, Decl(typeofThisInMethodSignature.ts, 4, 3))
+>this.x : Symbol(A.x, Decl(typeofThisInMethodSignature.ts, 2, 16))
+>this : Symbol(A, Decl(typeofThisInMethodSignature.ts, 0, 0))
+>x : Symbol(A.x, Decl(typeofThisInMethodSignature.ts, 2, 16))
+}
+
+const a = new A().a(1);
+>a : Symbol(a, Decl(typeofThisInMethodSignature.ts, 7, 5))
+>new A().a : Symbol(A.a, Decl(typeofThisInMethodSignature.ts, 3, 6))
+>A : Symbol(A, Decl(typeofThisInMethodSignature.ts, 0, 0))
+>a : Symbol(A.a, Decl(typeofThisInMethodSignature.ts, 3, 6))
+

tests/baselines/reference/typeofThisInMethodSignature.types

@@ -0,0 +1,27 @@
+=== tests/cases/compiler/typeofThisInMethodSignature.ts ===
+// Repro from #54167
+
+export class A {
+>A : A
+
+	x = 1
+>x : number
+>1 : 1
+
+	a(x: typeof this.x): void {}
+>a : (x: typeof this.x) => void
+>x : number
+>this.x : number
+>this : this
+>x : number
+}
+
+const a = new A().a(1);
+>a : void
+>new A().a(1) : void
+>new A().a : (x: number) => void
+>new A() : A
+>A : typeof A
+>a : (x: number) => void
+>1 : 1
+

tests/cases/compiler/typeofThisInMethodSignature.ts

@@ -0,0 +1,11 @@
+// @strict: true
+// @noEmit: true
+
+// Repro from #54167
+
+export class A {
+	x = 1
+	a(x: typeof this.x): void {}
+}
+
+const a = new A().a(1);