Adding regression test

Author: ahejlsberg

Diff for: tests/baselines/reference/circularTypeofWithFunctionModule.js

@@ -0,0 +1,40 @@
+//// [circularTypeofWithFunctionModule.ts]
+// Repro from #6072
+
+class Foo {}
+
+function maker (value: string): typeof maker.Bar {
+    return maker.Bar;
+}
+
+namespace maker {
+    export class Bar extends Foo {}
+}
+
+
+//// [circularTypeofWithFunctionModule.js]
+// Repro from #6072
+var __extends = (this && this.__extends) || function (d, b) {
+    for (var p in b) if (b.hasOwnProperty(p)) d[p] = b[p];
+    function __() { this.constructor = d; }
+    d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
+};
+var Foo = (function () {
+    function Foo() {
+    }
+    return Foo;
+}());
+function maker(value) {
+    return maker.Bar;
+}
+var maker;
+(function (maker) {
+    var Bar = (function (_super) {
+        __extends(Bar, _super);
+        function Bar() {
+            _super.apply(this, arguments);
+        }
+        return Bar;
+    }(Foo));
+    maker.Bar = Bar;
+})(maker || (maker = {}));

Diff for: tests/baselines/reference/circularTypeofWithFunctionModule.symbols

@@ -0,0 +1,27 @@
+=== tests/cases/compiler/circularTypeofWithFunctionModule.ts ===
+// Repro from #6072
+
+class Foo {}
+>Foo : Symbol(Foo, Decl(circularTypeofWithFunctionModule.ts, 0, 0))
+
+function maker (value: string): typeof maker.Bar {
+>maker : Symbol(maker, Decl(circularTypeofWithFunctionModule.ts, 2, 12), Decl(circularTypeofWithFunctionModule.ts, 6, 1))
+>value : Symbol(value, Decl(circularTypeofWithFunctionModule.ts, 4, 16))
+>maker.Bar : Symbol(maker.Bar, Decl(circularTypeofWithFunctionModule.ts, 8, 17))
+>maker : Symbol(maker, Decl(circularTypeofWithFunctionModule.ts, 2, 12), Decl(circularTypeofWithFunctionModule.ts, 6, 1))
+>Bar : Symbol(maker.Bar, Decl(circularTypeofWithFunctionModule.ts, 8, 17))
+
+    return maker.Bar;
+>maker.Bar : Symbol(maker.Bar, Decl(circularTypeofWithFunctionModule.ts, 8, 17))
+>maker : Symbol(maker, Decl(circularTypeofWithFunctionModule.ts, 2, 12), Decl(circularTypeofWithFunctionModule.ts, 6, 1))
+>Bar : Symbol(maker.Bar, Decl(circularTypeofWithFunctionModule.ts, 8, 17))
+}
+
+namespace maker {
+>maker : Symbol(maker, Decl(circularTypeofWithFunctionModule.ts, 2, 12), Decl(circularTypeofWithFunctionModule.ts, 6, 1))
+
+    export class Bar extends Foo {}
+>Bar : Symbol(Bar, Decl(circularTypeofWithFunctionModule.ts, 8, 17))
+>Foo : Symbol(Foo, Decl(circularTypeofWithFunctionModule.ts, 0, 0))
+}
+

Diff for: tests/baselines/reference/circularTypeofWithFunctionModule.types

@@ -0,0 +1,27 @@
+=== tests/cases/compiler/circularTypeofWithFunctionModule.ts ===
+// Repro from #6072
+
+class Foo {}
+>Foo : Foo
+
+function maker (value: string): typeof maker.Bar {
+>maker : typeof maker
+>value : string
+>maker.Bar : typeof maker.Bar
+>maker : typeof maker
+>Bar : typeof maker.Bar
+
+    return maker.Bar;
+>maker.Bar : typeof maker.Bar
+>maker : typeof maker
+>Bar : typeof maker.Bar
+}
+
+namespace maker {
+>maker : typeof maker
+
+    export class Bar extends Foo {}
+>Bar : Bar
+>Foo : Foo
+}
+

Diff for: tests/cases/compiler/circularTypeofWithFunctionModule.ts

@@ -0,0 +1,11 @@
+// Repro from #6072
+
+class Foo {}
+
+function maker (value: string): typeof maker.Bar {
+    return maker.Bar;
+}
+
+namespace maker {
+    export class Bar extends Foo {}
+}