skip const enums

Author: a-tarasyuk

src/harness/typeWriter.ts

@@ -233,6 +233,19 @@ export class TypeWriterWalker {
         return ts.isIntrinsicJsxName(node.getText());
     }
 
+    private shouldSkipNode(node: ts.Node) {
+        if (ts.isPartOfTypeNode(node)) {
+            return true;
+        }
+        if (ts.isIdentifier(node)) {
+            if (ts.getMeaningFromDeclaration(node.parent) & ts.SemanticMeaning.Value) {
+                return ts.isModuleDeclaration(node.parent) && ts.getModuleInstanceState(node.parent) === ts.ModuleInstanceState.ConstEnumOnly;
+            }
+            return !(ts.isTypeAliasDeclaration(node.parent) && node.parent.name === node);
+        }
+        return false;
+    }
+
     private writeTypeOrSymbol(node: ts.Node, isSymbolWalk: boolean): TypeWriterResult | undefined {
         const actualPos = ts.skipTrivia(this.currentSourceFile.text, node.pos);
         const lineAndCharacter = this.currentSourceFile.getLineAndCharacterOfPosition(actualPos);
@@ -241,9 +254,7 @@ export class TypeWriterWalker {
         if (!isSymbolWalk) {
             // Don't try to get the type of something that's already a type.
             // Exception for `T` in `type T = something` because that may evaluate to some interesting type.
-            if (ts.isPartOfTypeNode(node) || ts.isIdentifier(node) && !(ts.getMeaningFromDeclaration(node.parent) & ts.SemanticMeaning.Value) && !(ts.isTypeAliasDeclaration(node.parent) && node.parent.name === node)) {
-                return undefined;
-            }
+            if (this.shouldSkipNode(node)) return undefined;
 
             // Workaround to ensure we output 'C' instead of 'typeof C' for base class expressions
             // let type = this.checker.getTypeAtLocation(node);

tests/baselines/reference/constEnumMergingWithValues1.types

@@ -6,9 +6,6 @@ function foo() {}
 >    : ^^^^^^^^^^
 
 module foo {
->foo : typeof foo
->    : ^^^^^^^^^^
-
     const enum E { X }
 >E : E
 >  : ^

tests/baselines/reference/constEnumMergingWithValues2.types

@@ -6,9 +6,6 @@ class foo {}
 >    : ^^^
 
 module foo {
->foo : typeof foo
->    : ^^^^^^^^^^
-
     const enum E { X }
 >E : E
 >  : ^

tests/baselines/reference/constEnumMergingWithValues3.types

@@ -8,9 +8,6 @@ enum foo { A }
 >  : ^^^^^
 
 module foo {
->foo : typeof foo
->    : ^^^^^^^^^^
-
     const enum E { X }
 >E : E
 >  : ^

tests/baselines/reference/constEnumMergingWithValues4.types

@@ -2,9 +2,6 @@
 
 === m1.ts ===
 module foo {
->foo : typeof foo
->    : ^^^^^^^^^^
-
     const enum E { X }
 >E : E
 >  : ^

tests/baselines/reference/constEnumMergingWithValues5.types

@@ -2,9 +2,6 @@
 
 === m1.ts ===
 module foo {
->foo : typeof foo
->    : ^^^^^^^^^^
-
     const enum E { X }
 >E : E
 >  : ^

tests/baselines/reference/constEnumOnlyModuleMerging.types

@@ -13,9 +13,6 @@ module Outer {
 }
 
 module Outer {
->Outer : typeof Outer
->      : ^^^^^^^^^^^^
-
     export const enum A { X }
 >A : A
 >  : ^

tests/baselines/reference/constEnums.types

@@ -329,17 +329,8 @@ const enum Comments {
 }
 
 module A {
->A : typeof A
->  : ^^^^^^^^
-
     export module B {
->B : typeof B
->  : ^^^^^^^^
-
         export module C {
->C : typeof C
->  : ^^^^^^^^
-
             export const enum E {
 >E : E
 >  : ^
@@ -381,17 +372,8 @@ module A {
 }
 
 module A {
->A : typeof A
->  : ^^^^^^^^
-
     export module B {
->B : typeof B
->  : ^^^^^^^^
-
         export module C {
->C : typeof C
->  : ^^^^^^^^
-
             export const enum E {
 >E : E
 >  : ^
@@ -453,17 +435,8 @@ module A {
 }
 
 module A1 {
->A1 : typeof A1
->   : ^^^^^^^^^
-
     export module B {
->B : typeof B
->  : ^^^^^^^^
-
         export module C {
->C : typeof C
->  : ^^^^^^^^
-
             export const enum E {
 >E : E
 >  : ^
@@ -493,9 +466,6 @@ module A2 {
 >  : ^^^^^^^^
 
         export module C {
->C : typeof C
->  : ^^^^^^^^
-
             export const enum E {
 >E : E
 >  : ^

tests/baselines/reference/emitClassMergedWithConstNamespaceNotElided.types

@@ -2,9 +2,6 @@
 
 === enum.d.ts ===
 export namespace Clone {
->Clone : typeof Clone
->      : ^^^^^^^^^^^^
-
     const enum LOCAL {
 >LOCAL : LOCAL
 >      : ^^^^^

tests/baselines/reference/enumAssignmentCompat3.types

@@ -97,9 +97,6 @@ namespace Cd {
     }
 }
 namespace Const {
->Const : typeof Const
->      : ^^^^^^^^^^^^
-
     export const enum E {
 >E : E
 >  : ^

tests/baselines/reference/intersectionTypeNormalization.types

@@ -201,9 +201,6 @@ function getValueAsString(value: IntersectionFail): string {
 // Repro from #12535
 
 namespace enums {
->enums : typeof enums
->      : ^^^^^^^^^^^^
-
     export const enum A {
 >A : A
 >  : ^

tests/baselines/reference/reachabilityChecks1.types

@@ -79,9 +79,6 @@ module A4 {
 >     : ^^^^
 
     module A {
->A : typeof A
->  : ^^^^^^^^
-
         const enum E { X }
 >E : E
 >  : ^

tests/baselines/reference/reachabilityChecks2.types

@@ -20,9 +20,6 @@ module A4 {
 >     : ^^^^
 
     module A {
->A : typeof A
->  : ^^^^^^^^
-
         const enum E { X }
 >E : E
 >  : ^

tests/baselines/reference/systemModuleConstEnums.types

@@ -44,9 +44,6 @@ export function foo() {
 }
 
 module M {
->M : typeof M
->  : ^^^^^^^^
-
     export const enum NonTopLevelConstEnum { X }
 >NonTopLevelConstEnum : NonTopLevelConstEnum
 >                     : ^^^^^^^^^^^^^^^^^^^^

tests/baselines/reference/systemModuleConstEnumsSeparateCompilation.types

@@ -44,9 +44,6 @@ export function foo() {
 }
 
 module M {
->M : typeof M
->  : ^^^^^^^^
-
     export const enum NonTopLevelConstEnum { X }
 >NonTopLevelConstEnum : NonTopLevelConstEnum
 >                     : ^^^^^^^^^^^^^^^^^^^^