Merge branch 'master' into typeof-can-refer-class-before-declaration

Author: sandersn

src/compiler/checker.ts

@@ -760,11 +760,17 @@ namespace ts {
 
 
             // declaration is after usage, but it can still be legal if usage is deferred:
-            // 1. inside a function
-            // 2. inside an instance property initializer, a reference to a non-instance property
-            // 3. inside a static property initializer, a reference to a static method in the same class
+            // 1. inside an export specifier
+            // 2. inside a function
+            // 3. inside an instance property initializer, a reference to a non-instance property
+            // 4. inside a static property initializer, a reference to a static method in the same class
             // or if usage is in a type context:
             // 1. inside a type query (typeof in type position)
+            if (usage.parent.kind === SyntaxKind.ExportSpecifier) {
+                // export specifiers do not use the variable, they only make it available for use
+                return true;
+            }
+
             const container = getEnclosingBlockScopeContainer(declaration);
             return isInTypeQuery(usage) || isUsedInFunctionOrInstanceProperty(usage, declaration, container);
 

src/compiler/diagnosticMessages.json

@@ -3185,6 +3185,10 @@
         "category": "Message",
         "code": 6181
     },
+    "Scoped package detected, looking in '{0}'": {
+        "category": "Message",
+        "code": "6182"
+    },
 
     "Variable '{0}' implicitly has an '{1}' type.": {
         "category": "Error",

src/compiler/moduleNameResolver.ts

@@ -954,10 +954,25 @@ namespace ts {
                 }
                 nodeModulesAtTypesExists = false;
             }
-            return loadModuleFromNodeModulesFolder(Extensions.DtsOnly, moduleName, nodeModulesAtTypes, nodeModulesAtTypesExists, failedLookupLocations, state);
+            return loadModuleFromNodeModulesFolder(Extensions.DtsOnly, mangleScopedPackage(moduleName, state), nodeModulesAtTypes, nodeModulesAtTypesExists, failedLookupLocations, state);
         }
     }
 
+    /** For a scoped package, we must look in `@types/foo__bar` instead of `@types/@foo/bar`. */
+    function mangleScopedPackage(moduleName: string, state: ModuleResolutionState): string {
+        if (startsWith(moduleName, "@")) {
+            const replaceSlash = moduleName.replace(ts.directorySeparator, "__");
+            if (replaceSlash !== moduleName) {
+                const mangled = replaceSlash.slice(1); // Take off the "@"
+                if (state.traceEnabled) {
+                    trace(state.host, Diagnostics.Scoped_package_detected_looking_in_0, mangled);
+                }
+                return mangled;
+            }
+        }
+        return moduleName;
+    }
+
     function tryFindNonRelativeModuleNameInCache(cache: PerModuleNameCache | undefined, moduleName: string, containingDirectory: string, traceEnabled: boolean, host: ModuleResolutionHost): SearchResult<Resolved> {
         const result = cache && cache.get(containingDirectory);
         if (result) {

src/server/server.ts

@@ -401,7 +401,9 @@ namespace ts.server {
                 byteLength: Buffer.byteLength,
                 hrtime: process.hrtime,
                 logger,
-                canUseEvents});
+                canUseEvents,
+                globalPlugins: options.globalPlugins,
+                pluginProbeLocations: options.pluginProbeLocations});
 
             if (telemetryEnabled && typingsInstaller) {
                 typingsInstaller.setTelemetrySender(this);

tests/baselines/reference/exportBinding.js

@@ -0,0 +1,19 @@
+//// [exportBinding.ts]
+export { x }
+const x = 'x'
+
+export { Y as Z }
+class Y {}
+
+
+//// [exportBinding.js]
+"use strict";
+exports.__esModule = true;
+var x = 'x';
+exports.x = x;
+var Y = (function () {
+    function Y() {
+    }
+    return Y;
+}());
+exports.Z = Y;

tests/baselines/reference/exportBinding.symbols

@@ -0,0 +1,14 @@
+=== tests/cases/conformance/es6/modules/exportBinding.ts ===
+export { x }
+>x : Symbol(x, Decl(exportBinding.ts, 0, 8))
+
+const x = 'x'
+>x : Symbol(x, Decl(exportBinding.ts, 1, 5))
+
+export { Y as Z }
+>Y : Symbol(Z, Decl(exportBinding.ts, 3, 8))
+>Z : Symbol(Z, Decl(exportBinding.ts, 3, 8))
+
+class Y {}
+>Y : Symbol(Y, Decl(exportBinding.ts, 3, 17))
+

tests/baselines/reference/exportBinding.types

@@ -0,0 +1,15 @@
+=== tests/cases/conformance/es6/modules/exportBinding.ts ===
+export { x }
+>x : "x"
+
+const x = 'x'
+>x : "x"
+>'x' : "x"
+
+export { Y as Z }
+>Y : typeof Y
+>Z : typeof Y
+
+class Y {}
+>Y : Y
+

tests/baselines/reference/library-reference-scoped-packages.js

@@ -0,0 +1,11 @@
+//// [tests/cases/conformance/references/library-reference-scoped-packages.ts] ////
+
+//// [index.d.ts]
+export const y = 0;
+
+//// [a.ts]
+/// <reference types="@beep/boop" />
+
+
+//// [a.js]
+/// <reference types="@beep/boop" />

tests/baselines/reference/library-reference-scoped-packages.symbols

@@ -0,0 +1,7 @@
+=== /a.ts ===
+/// <reference types="@beep/boop" />
+No type information for this code.
+No type information for this code.=== /node_modules/@types/beep__boop/index.d.ts ===
+export const y = 0;
+>y : Symbol(y, Decl(index.d.ts, 0, 12))
+

tests/baselines/reference/library-reference-scoped-packages.trace.json

@@ -0,0 +1,12 @@
+[
+    "======== Resolving type reference directive '@beep/boop', containing file '/a.ts', root directory 'types'. ========",
+    "Resolving with primary search path 'types'.",
+    "Directory 'types/@beep' does not exist, skipping all lookups in it.",
+    "Looking up in 'node_modules' folder, initial location '/'.",
+    "Scoped package detected, looking in 'beep__boop'",
+    "File '/node_modules/@types/beep__boop.d.ts' does not exist.",
+    "File '/node_modules/@types/beep__boop/package.json' does not exist.",
+    "File '/node_modules/@types/beep__boop/index.d.ts' exist - use it as a name resolution result.",
+    "Resolving real path for '/node_modules/@types/beep__boop/index.d.ts', result '/node_modules/@types/beep__boop/index.d.ts'.",
+    "======== Type reference directive '@beep/boop' was successfully resolved to '/node_modules/@types/beep__boop/index.d.ts', primary: false. ========"
+]