check enum

Author: Zzzen

src/compiler/checker.ts

@@ -1682,7 +1682,7 @@ namespace ts {
                         return "quit";
                     }
                     if (isFunctionLike(current)) {
-                        return true;
+                        return !getImmediatelyInvokedFunctionExpression(current);
                     }
                     if (isClassStaticBlockDeclaration(current)) {
                         return declaration.pos < usage.pos;

tests/baselines/reference/blockScopedVariablesUseBeforeDef.errors.txt

@@ -5,9 +5,10 @@ tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts(100,12): error TS2448:
 tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts(111,28): error TS2448: Block-scoped variable 'a' used before its declaration.
 tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts(112,21): error TS2448: Block-scoped variable 'a' used before its declaration.
 tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts(122,22): error TS2448: Block-scoped variable 'a' used before its declaration.
+tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts(126,20): error TS2450: Enum 'Enum' used before its declaration.
 
 
-==== tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts (7 errors) ====
+==== tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts (8 errors) ====
     function foo0() {
         let a = x;
                 ~
@@ -152,4 +153,15 @@ tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts(122,22): error TS2448:
 !!! error TS2448: Block-scoped variable 'a' used before its declaration.
 !!! related TS2728 tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts:122:10: 'a' is declared here.
     }
+    
+    function foo17() {
+        let a = (() => Enum.Yes)();
+                       ~~~~
+!!! error TS2450: Enum 'Enum' used before its declaration.
+!!! related TS2728 tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts:127:10: 'Enum' is declared here.
+        enum Enum {
+            No = 0,
+            Yes = 1,
+        }
+    }
 

tests/baselines/reference/blockScopedVariablesUseBeforeDef.js

@@ -122,6 +122,14 @@ function foo15() {
 function foo16() {
     let [a] = (() => a)();
 }
+
+function foo17() {
+    let a = (() => Enum.Yes)();
+    enum Enum {
+        No = 0,
+        Yes = 1,
+    }
+}
 
 
 //// [blockScopedVariablesUseBeforeDef.js]
@@ -254,3 +262,11 @@ function foo15() {
 function foo16() {
     var a = (function () { return a; })()[0];
 }
+function foo17() {
+    var a = (function () { return Enum.Yes; })();
+    var Enum;
+    (function (Enum) {
+        Enum[Enum["No"] = 0] = "No";
+        Enum[Enum["Yes"] = 1] = "Yes";
+    })(Enum || (Enum = {}));
+}

tests/baselines/reference/blockScopedVariablesUseBeforeDef.symbols

@@ -256,3 +256,23 @@ function foo16() {
 >a : Symbol(a, Decl(blockScopedVariablesUseBeforeDef.ts, 121, 9))
 }
 
+function foo17() {
+>foo17 : Symbol(foo17, Decl(blockScopedVariablesUseBeforeDef.ts, 122, 1))
+
+    let a = (() => Enum.Yes)();
+>a : Symbol(a, Decl(blockScopedVariablesUseBeforeDef.ts, 125, 7))
+>Enum.Yes : Symbol(Enum.Yes, Decl(blockScopedVariablesUseBeforeDef.ts, 127, 15))
+>Enum : Symbol(Enum, Decl(blockScopedVariablesUseBeforeDef.ts, 125, 31))
+>Yes : Symbol(Enum.Yes, Decl(blockScopedVariablesUseBeforeDef.ts, 127, 15))
+
+    enum Enum {
+>Enum : Symbol(Enum, Decl(blockScopedVariablesUseBeforeDef.ts, 125, 31))
+
+        No = 0,
+>No : Symbol(Enum.No, Decl(blockScopedVariablesUseBeforeDef.ts, 126, 15))
+
+        Yes = 1,
+>Yes : Symbol(Enum.Yes, Decl(blockScopedVariablesUseBeforeDef.ts, 127, 15))
+    }
+}
+

tests/baselines/reference/blockScopedVariablesUseBeforeDef.types

@@ -287,3 +287,28 @@ function foo16() {
 >a : any
 }
 
+function foo17() {
+>foo17 : () => void
+
+    let a = (() => Enum.Yes)();
+>a : Enum
+>(() => Enum.Yes)() : Enum
+>(() => Enum.Yes) : () => Enum
+>() => Enum.Yes : () => Enum
+>Enum.Yes : Enum.Yes
+>Enum : typeof Enum
+>Yes : Enum.Yes
+
+    enum Enum {
+>Enum : Enum
+
+        No = 0,
+>No : Enum.No
+>0 : 0
+
+        Yes = 1,
+>Yes : Enum.Yes
+>1 : 1
+    }
+}
+

tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts

@@ -122,3 +122,11 @@ function foo15() {
 function foo16() {
     let [a] = (() => a)();
 }
+
+function foo17() {
+    let a = (() => Enum.Yes)();
+    enum Enum {
+        No = 0,
+        Yes = 1,
+    }
+}