microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-02-10 06:41:59 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Cherry-pick PR #49814 into release-4.8 (#50578)

Browse Source 
Component commits:
e2d22fa5bc Unify default import resolution across specifier target codepaths

b3416997bb Merge main into branch

cf010b517d Use differing type aliases, per request

Co-authored-by: Wesley Wigham <wewigham@microsoft.com>
This commit is contained in:
TypeScript Bot 2022-09-01 06:20:47 -07:00 committed by GitHub
parent 565a444d4b
commit 4b7a7b5ddf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
15 changed files with 1347 additions and 61 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

162
src/compiler/checker.ts
View File

@ -2798,44 +2798,66 @@ namespace ts {
function getTargetOfImportClause(node: ImportClause, dontResolveAlias: boolean): Symbol | undefined {
const moduleSymbol = resolveExternalModuleName(node, node.parent.moduleSpecifier);
if (moduleSymbol) {
let exportDefaultSymbol: Symbol | undefined;
if (isShorthandAmbientModuleSymbol(moduleSymbol)) {
exportDefaultSymbol = moduleSymbol;
return getTargetofModuleDefault(moduleSymbol, node, dontResolveAlias);
}
}
function getTargetofModuleDefault(moduleSymbol: Symbol, node: ImportClause | ImportOrExportSpecifier, dontResolveAlias: boolean) {
let exportDefaultSymbol: Symbol | undefined;
if (isShorthandAmbientModuleSymbol(moduleSymbol)) {
exportDefaultSymbol = moduleSymbol;
}
else {
exportDefaultSymbol = resolveExportByName(moduleSymbol, InternalSymbolName.Default, node, dontResolveAlias);
}
const file = moduleSymbol.declarations?.find(isSourceFile);
const specifier = getModuleSpecifierForImportOrExport(node);
if (!specifier) {
return exportDefaultSymbol;
}
const hasDefaultOnly = isOnlyImportedAsDefault(specifier);
const hasSyntheticDefault = canHaveSyntheticDefault(file, moduleSymbol, dontResolveAlias, specifier);
if (!exportDefaultSymbol && !hasSyntheticDefault && !hasDefaultOnly) {
if (hasExportAssignmentSymbol(moduleSymbol)) {
const compilerOptionName = moduleKind >= ModuleKind.ES2015 ? "allowSyntheticDefaultImports" : "esModuleInterop";
const exportEqualsSymbol = moduleSymbol.exports!.get(InternalSymbolName.ExportEquals);
const exportAssignment = exportEqualsSymbol!.valueDeclaration;
const err = error(node.name, Diagnostics.Module_0_can_only_be_default_imported_using_the_1_flag, symbolToString(moduleSymbol), compilerOptionName);
if (exportAssignment) {
addRelatedInfo(err, createDiagnosticForNode(
exportAssignment,
Diagnostics.This_module_is_declared_with_export_and_can_only_be_used_with_a_default_import_when_using_the_0_flag,
compilerOptionName
));
}
}
else if (isImportClause(node)) {
reportNonDefaultExport(moduleSymbol, node);
}
else {
exportDefaultSymbol = resolveExportByName(moduleSymbol, InternalSymbolName.Default, node, dontResolveAlias);
errorNoModuleMemberSymbol(moduleSymbol, moduleSymbol, node, isImportOrExportSpecifier(node) && node.propertyName || node.name);
}
}
else if (hasSyntheticDefault || hasDefaultOnly) {
// per emit behavior, a synthetic default overrides a "real" .default member if `__esModule` is not present
const resolved = resolveExternalModuleSymbol(moduleSymbol, dontResolveAlias) || resolveSymbol(moduleSymbol, dontResolveAlias);
markSymbolOfAliasDeclarationIfTypeOnly(node, moduleSymbol, resolved, /*overwriteTypeOnly*/ false);
return resolved;
}
markSymbolOfAliasDeclarationIfTypeOnly(node, exportDefaultSymbol, /*finalTarget*/ undefined, /*overwriteTypeOnly*/ false);
return exportDefaultSymbol;
}
const file = moduleSymbol.declarations?.find(isSourceFile);
const hasDefaultOnly = isOnlyImportedAsDefault(node.parent.moduleSpecifier);
const hasSyntheticDefault = canHaveSyntheticDefault(file, moduleSymbol, dontResolveAlias, node.parent.moduleSpecifier);
if (!exportDefaultSymbol && !hasSyntheticDefault && !hasDefaultOnly) {
if (hasExportAssignmentSymbol(moduleSymbol)) {
const compilerOptionName = moduleKind >= ModuleKind.ES2015 ? "allowSyntheticDefaultImports" : "esModuleInterop";
const exportEqualsSymbol = moduleSymbol.exports!.get(InternalSymbolName.ExportEquals);
const exportAssignment = exportEqualsSymbol!.valueDeclaration;
const err = error(node.name, Diagnostics.Module_0_can_only_be_default_imported_using_the_1_flag, symbolToString(moduleSymbol), compilerOptionName);
if (exportAssignment) {
addRelatedInfo(err, createDiagnosticForNode(
exportAssignment,
Diagnostics.This_module_is_declared_with_export_and_can_only_be_used_with_a_default_import_when_using_the_0_flag,
compilerOptionName
));
}
}
else {
reportNonDefaultExport(moduleSymbol, node);
}
}
else if (hasSyntheticDefault || hasDefaultOnly) {
// per emit behavior, a synthetic default overrides a "real" .default member if `__esModule` is not present
const resolved = resolveExternalModuleSymbol(moduleSymbol, dontResolveAlias) || resolveSymbol(moduleSymbol, dontResolveAlias);
markSymbolOfAliasDeclarationIfTypeOnly(node, moduleSymbol, resolved, /*overwriteTypeOnly*/ false);
return resolved;
}
markSymbolOfAliasDeclarationIfTypeOnly(node, exportDefaultSymbol, /*finalTarget*/ undefined, /*overwriteTypeOnly*/ false);
return exportDefaultSymbol;
function getModuleSpecifierForImportOrExport(node: ImportEqualsDeclaration | ImportClause | NamespaceImport | ImportOrExportSpecifier): Expression | undefined {
switch (node.kind) {
case SyntaxKind.ImportClause: return node.parent.moduleSpecifier;
case SyntaxKind.ImportEqualsDeclaration: return isExternalModuleReference(node.moduleReference) ? node.moduleReference.expression : undefined;
case SyntaxKind.NamespaceImport: return node.parent.parent.moduleSpecifier;
case SyntaxKind.ImportSpecifier: return node.parent.parent.parent.moduleSpecifier;
case SyntaxKind.ExportSpecifier: return node.parent.parent.moduleSpecifier;
default: return Debug.assertNever(node);
}
}
@ -2969,38 +2991,42 @@ namespace ts {
combineValueAndTypeSymbols(symbolFromVariable, symbolFromModule) :
symbolFromModule || symbolFromVariable;
if (!symbol) {
const moduleName = getFullyQualifiedName(moduleSymbol, node);
const declarationName = declarationNameToString(name);
const suggestion = getSuggestedSymbolForNonexistentModule(name, targetSymbol);
if (suggestion !== undefined) {
const suggestionName = symbolToString(suggestion);
const diagnostic = error(name, Diagnostics._0_has_no_exported_member_named_1_Did_you_mean_2, moduleName, declarationName, suggestionName);
if (suggestion.valueDeclaration) {
addRelatedInfo(diagnostic,
createDiagnosticForNode(suggestion.valueDeclaration, Diagnostics._0_is_declared_here, suggestionName)
);
}
}
else {
if (moduleSymbol.exports?.has(InternalSymbolName.Default)) {
error(
name,
Diagnostics.Module_0_has_no_exported_member_1_Did_you_mean_to_use_import_1_from_0_instead,
moduleName,
declarationName
);
}
else {
reportNonExportedMember(node, name, declarationName, moduleSymbol, moduleName);
}
}
errorNoModuleMemberSymbol(moduleSymbol, targetSymbol, node, name);
}
return symbol;
}
}
}
function reportNonExportedMember(node: ImportDeclaration | ExportDeclaration | VariableDeclaration, name: Identifier, declarationName: string, moduleSymbol: Symbol, moduleName: string): void {
function errorNoModuleMemberSymbol(moduleSymbol: Symbol, targetSymbol: Symbol, node: Node, name: Identifier) {
const moduleName = getFullyQualifiedName(moduleSymbol, node);
const declarationName = declarationNameToString(name);
const suggestion = getSuggestedSymbolForNonexistentModule(name, targetSymbol);
if (suggestion !== undefined) {
const suggestionName = symbolToString(suggestion);
const diagnostic = error(name, Diagnostics._0_has_no_exported_member_named_1_Did_you_mean_2, moduleName, declarationName, suggestionName);
if (suggestion.valueDeclaration) {
addRelatedInfo(diagnostic,
createDiagnosticForNode(suggestion.valueDeclaration, Diagnostics._0_is_declared_here, suggestionName)
);
}
}
else {
if (moduleSymbol.exports?.has(InternalSymbolName.Default)) {
error(
name,
Diagnostics.Module_0_has_no_exported_member_1_Did_you_mean_to_use_import_1_from_0_instead,
moduleName,
declarationName
);
}
else {
reportNonExportedMember(node, name, declarationName, moduleSymbol, moduleName);
}
}
}
function reportNonExportedMember(node: Node, name: Identifier, declarationName: string, moduleSymbol: Symbol, moduleName: string): void {
const localSymbol = moduleSymbol.valueDeclaration?.locals?.get(name.escapedText);
const exports = moduleSymbol.exports;
if (localSymbol) {
@ -3025,7 +3051,7 @@ namespace ts {
}
}
function reportInvalidImportEqualsExportMember(node: ImportDeclaration | ExportDeclaration | VariableDeclaration, name: Identifier, declarationName: string, moduleName: string) {
function reportInvalidImportEqualsExportMember(node: Node, name: Identifier, declarationName: string, moduleName: string) {
if (moduleKind >= ModuleKind.ES2015) {
const message = getESModuleInterop(compilerOptions) ? Diagnostics._0_can_only_be_imported_by_using_a_default_import :
Diagnostics._0_can_only_be_imported_by_turning_on_the_esModuleInterop_flag_and_using_a_default_import;
@ -3046,6 +3072,13 @@ namespace ts {
}
function getTargetOfImportSpecifier(node: ImportSpecifier | BindingElement, dontResolveAlias: boolean): Symbol | undefined {
if (isImportSpecifier(node) && idText(node.propertyName || node.name) === InternalSymbolName.Default) {
const specifier = getModuleSpecifierForImportOrExport(node);
const moduleSymbol = specifier && resolveExternalModuleName(node, specifier);
if (moduleSymbol) {
return getTargetofModuleDefault(moduleSymbol, node, dontResolveAlias);
}
}
const root = isBindingElement(node) ? getRootDeclaration(node) as VariableDeclaration : node.parent.parent.parent;
const commonJSPropertyAccess = getCommonJSPropertyAccess(root);
const resolved = getExternalModuleMember(root, commonJSPropertyAccess || node, dontResolveAlias);
@ -3070,6 +3103,13 @@ namespace ts {
}
function getTargetOfExportSpecifier(node: ExportSpecifier, meaning: SymbolFlags, dontResolveAlias?: boolean) {
if (idText(node.propertyName || node.name) === InternalSymbolName.Default) {
const specifier = getModuleSpecifierForImportOrExport(node);
const moduleSymbol = specifier && resolveExternalModuleName(node, specifier);
if (moduleSymbol) {
return getTargetofModuleDefault(moduleSymbol, node, !!dontResolveAlias);
}
}
const resolved = node.parent.parent.moduleSpecifier ?
getExternalModuleMember(node.parent.parent, node, dontResolveAlias) :
resolveEntityName(node.propertyName || node.name, meaning, /*ignoreErrors*/ false, dontResolveAlias);

67
tests/baselines/reference/esModuleInteropDefaultImports.errors.txt Normal file
View File

@ -0,0 +1,67 @@
tests/cases/compiler/b.ts(15,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.ts(16,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.ts(17,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.ts(18,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.ts(19,6): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.ts(20,6): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
==== tests/cases/compiler/mod.ts (0 errors) ====
declare function fun(): void;
export default fun;
==== tests/cases/compiler/a.ts (0 errors) ====
import mod = require("./mod");
export = mod;
==== tests/cases/compiler/b.ts (6 errors) ====
import a from "./a";
import { default as b } from "./a";
import c, { default as d } from "./a";
import * as self from "./b";
export { default } from "./a";
export { default as def } from "./a";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
b();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
c();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
d();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
self.default();
~~~~~~~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
self.def();
~~~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();

103
tests/baselines/reference/esModuleInteropDefaultImports.js Normal file
View File

@ -0,0 +1,103 @@
//// [tests/cases/compiler/esModuleInteropDefaultImports.ts] ////
//// [mod.ts]
declare function fun(): void;
export default fun;
//// [a.ts]
import mod = require("./mod");
export = mod;
//// [b.ts]
import a from "./a";
import { default as b } from "./a";
import c, { default as d } from "./a";
import * as self from "./b";
export { default } from "./a";
export { default as def } from "./a";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
b();
c();
d();
self.default();
self.def();
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();
//// [mod.js]
"use strict";
exports.__esModule = true;
exports["default"] = fun;
//// [a.js]
"use strict";
var mod = require("./mod");
module.exports = mod;
//// [b.js]
"use strict";
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
var desc = Object.getOwnPropertyDescriptor(m, k);
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
desc = { enumerable: true, get: function() { return m[k]; } };
}
Object.defineProperty(o, k2, desc);
}) : (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
o["default"] = v;
});
var __importStar = (this && this.__importStar) || function (mod) {
if (mod && mod.__esModule) return mod;
var result = {};
if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
__setModuleDefault(result, mod);
return result;
};
var __importDefault = (this && this.__importDefault) || function (mod) {
return (mod && mod.__esModule) ? mod : { "default": mod };
};
exports.__esModule = true;
exports.def = exports["default"] = void 0;
var a_1 = __importDefault(require("./a"));
var a_2 = __importDefault(require("./a"));
var a_3 = __importDefault(require("./a"));
var self = __importStar(require("./b"));
var a_4 = require("./a");
__createBinding(exports, a_4, "default");
var a_5 = require("./a");
__createBinding(exports, a_5, "default", "def");
a_1["default"] === a_2["default"];
a_2["default"] === a_3["default"];
a_3["default"] === a_3["default"];
a_3["default"] === self["default"];
self["default"] === self.def;
// should all fail
(0, a_1["default"])();
(0, a_2["default"])();
(0, a_3["default"])();
(0, a_3["default"])();
self["default"]();
self.def();
// should all work
a_1["default"]["default"]();
a_2["default"]["default"]();
a_3["default"]["default"]();
a_3["default"]["default"]();
self["default"]["default"]();
self.def["default"]();

121
tests/baselines/reference/esModuleInteropDefaultImports.symbols Normal file
View File

@ -0,0 +1,121 @@
=== tests/cases/compiler/mod.ts ===
declare function fun(): void;
>fun : Symbol(fun, Decl(mod.ts, 0, 0))
export default fun;
>fun : Symbol(fun, Decl(mod.ts, 0, 0))
=== tests/cases/compiler/a.ts ===
import mod = require("./mod");
>mod : Symbol(mod, Decl(a.ts, 0, 0))
export = mod;
>mod : Symbol(mod, Decl(a.ts, 0, 0))
=== tests/cases/compiler/b.ts ===
import a from "./a";
>a : Symbol(a, Decl(b.ts, 0, 6))
import { default as b } from "./a";
>default : Symbol(mod, Decl(a.ts, 0, 30))
>b : Symbol(b, Decl(b.ts, 1, 8))
import c, { default as d } from "./a";
>c : Symbol(c, Decl(b.ts, 2, 6))
>default : Symbol(mod, Decl(a.ts, 0, 30))
>d : Symbol(d, Decl(b.ts, 2, 11))
import * as self from "./b";
>self : Symbol(self, Decl(b.ts, 3, 6))
export { default } from "./a";
>default : Symbol(self.default, Decl(b.ts, 4, 8))
export { default as def } from "./a";
>default : Symbol(mod, Decl(a.ts, 0, 30))
>def : Symbol(self.def, Decl(b.ts, 5, 8))
a === b;
>a : Symbol(a, Decl(b.ts, 0, 6))
>b : Symbol(b, Decl(b.ts, 1, 8))
b === c;
>b : Symbol(b, Decl(b.ts, 1, 8))
>c : Symbol(c, Decl(b.ts, 2, 6))
c === d;
>c : Symbol(c, Decl(b.ts, 2, 6))
>d : Symbol(d, Decl(b.ts, 2, 11))
d === self.default;
>d : Symbol(d, Decl(b.ts, 2, 11))
>self.default : Symbol(self.default, Decl(b.ts, 4, 8))
>self : Symbol(self, Decl(b.ts, 3, 6))
>default : Symbol(self.default, Decl(b.ts, 4, 8))
self.default === self.def;
>self.default : Symbol(self.default, Decl(b.ts, 4, 8))
>self : Symbol(self, Decl(b.ts, 3, 6))
>default : Symbol(self.default, Decl(b.ts, 4, 8))
>self.def : Symbol(self.def, Decl(b.ts, 5, 8))
>self : Symbol(self, Decl(b.ts, 3, 6))
>def : Symbol(self.def, Decl(b.ts, 5, 8))
// should all fail
a();
>a : Symbol(a, Decl(b.ts, 0, 6))
b();
>b : Symbol(b, Decl(b.ts, 1, 8))
c();
>c : Symbol(c, Decl(b.ts, 2, 6))
d();
>d : Symbol(d, Decl(b.ts, 2, 11))
self.default();
>self.default : Symbol(self.default, Decl(b.ts, 4, 8))
>self : Symbol(self, Decl(b.ts, 3, 6))
>default : Symbol(self.default, Decl(b.ts, 4, 8))
self.def();
>self.def : Symbol(self.def, Decl(b.ts, 5, 8))
>self : Symbol(self, Decl(b.ts, 3, 6))
>def : Symbol(self.def, Decl(b.ts, 5, 8))
// should all work
a.default();
>a.default : Symbol(a.default, Decl(mod.ts, 0, 29))
>a : Symbol(a, Decl(b.ts, 0, 6))
>default : Symbol(a.default, Decl(mod.ts, 0, 29))
b.default();
>b.default : Symbol(a.default, Decl(mod.ts, 0, 29))
>b : Symbol(b, Decl(b.ts, 1, 8))
>default : Symbol(a.default, Decl(mod.ts, 0, 29))
c.default();
>c.default : Symbol(a.default, Decl(mod.ts, 0, 29))
>c : Symbol(c, Decl(b.ts, 2, 6))
>default : Symbol(a.default, Decl(mod.ts, 0, 29))
d.default();
>d.default : Symbol(a.default, Decl(mod.ts, 0, 29))
>d : Symbol(d, Decl(b.ts, 2, 11))
>default : Symbol(a.default, Decl(mod.ts, 0, 29))
self.default.default();
>self.default.default : Symbol(a.default, Decl(mod.ts, 0, 29))
>self.default : Symbol(self.default, Decl(b.ts, 4, 8))
>self : Symbol(self, Decl(b.ts, 3, 6))
>default : Symbol(self.default, Decl(b.ts, 4, 8))
>default : Symbol(a.default, Decl(mod.ts, 0, 29))
self.def.default();
>self.def.default : Symbol(a.default, Decl(mod.ts, 0, 29))
>self.def : Symbol(self.def, Decl(b.ts, 5, 8))
>self : Symbol(self, Decl(b.ts, 3, 6))
>def : Symbol(self.def, Decl(b.ts, 5, 8))
>default : Symbol(a.default, Decl(mod.ts, 0, 29))

138
tests/baselines/reference/esModuleInteropDefaultImports.types Normal file
View File

@ -0,0 +1,138 @@
=== tests/cases/compiler/mod.ts ===
declare function fun(): void;
>fun : () => void
export default fun;
>fun : () => void
=== tests/cases/compiler/a.ts ===
import mod = require("./mod");
>mod : typeof mod
export = mod;
>mod : typeof mod
=== tests/cases/compiler/b.ts ===
import a from "./a";
>a : typeof a
import { default as b } from "./a";
>default : typeof a
>b : typeof a
import c, { default as d } from "./a";
>c : typeof a
>default : typeof a
>d : typeof a
import * as self from "./b";
>self : typeof self
export { default } from "./a";
>default : typeof a
export { default as def } from "./a";
>default : typeof a
>def : typeof a
a === b;
>a === b : boolean
>a : typeof a
>b : typeof a
b === c;
>b === c : boolean
>b : typeof a
>c : typeof a
c === d;
>c === d : boolean
>c : typeof a
>d : typeof a
d === self.default;
>d === self.default : boolean
>d : typeof a
>self.default : typeof a
>self : typeof self
>default : typeof a
self.default === self.def;
>self.default === self.def : boolean
>self.default : typeof a
>self : typeof self
>default : typeof a
>self.def : typeof a
>self : typeof self
>def : typeof a
// should all fail
a();
>a() : any
>a : typeof a
b();
>b() : any
>b : typeof a
c();
>c() : any
>c : typeof a
d();
>d() : any
>d : typeof a
self.default();
>self.default() : any
>self.default : typeof a
>self : typeof self
>default : typeof a
self.def();
>self.def() : any
>self.def : typeof a
>self : typeof self
>def : typeof a
// should all work
a.default();
>a.default() : void
>a.default : () => void
>a : typeof a
>default : () => void
b.default();
>b.default() : void
>b.default : () => void
>b : typeof a
>default : () => void
c.default();
>c.default() : void
>c.default : () => void
>c : typeof a
>default : () => void
d.default();
>d.default() : void
>d.default : () => void
>d : typeof a
>default : () => void
self.default.default();
>self.default.default() : void
>self.default.default : () => void
>self.default : typeof a
>self : typeof self
>default : typeof a
>default : () => void
self.def.default();
>self.def.default() : void
>self.def.default : () => void
>self.def : typeof a
>self : typeof self
>def : typeof a
>default : () => void

64
tests/baselines/reference/moduleNodeDefaultImports(module=node16).errors.txt Normal file
View File

@ -0,0 +1,64 @@
tests/cases/compiler/b.mts(15,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(16,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(17,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(18,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(19,6): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(20,6): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
==== tests/cases/compiler/mod.cts (0 errors) ====
declare function fun(): void;
export default fun;
==== tests/cases/compiler/b.mts (6 errors) ====
import a from "./mod.cjs";
import { default as b } from "./mod.cjs";
import c, { default as d } from "./mod.cjs";
import * as self from "./b.mjs";
export { default } from "./mod.cjs";
export { default as def } from "./mod.cjs";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
b();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
c();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
d();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
self.default();
~~~~~~~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
self.def();
~~~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();

65
tests/baselines/reference/moduleNodeDefaultImports(module=node16).js Normal file
View File

@ -0,0 +1,65 @@
//// [tests/cases/compiler/moduleNodeDefaultImports.ts] ////
//// [mod.cts]
declare function fun(): void;
export default fun;
//// [b.mts]
import a from "./mod.cjs";
import { default as b } from "./mod.cjs";
import c, { default as d } from "./mod.cjs";
import * as self from "./b.mjs";
export { default } from "./mod.cjs";
export { default as def } from "./mod.cjs";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
b();
c();
d();
self.default();
self.def();
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();
//// [mod.cjs]
"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.default = fun;
//// [b.mjs]
import a from "./mod.cjs";
import { default as b } from "./mod.cjs";
import c, { default as d } from "./mod.cjs";
import * as self from "./b.mjs";
export { default } from "./mod.cjs";
export { default as def } from "./mod.cjs";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
b();
c();
d();
self.default();
self.def();
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();

114
tests/baselines/reference/moduleNodeDefaultImports(module=node16).symbols Normal file
View File

@ -0,0 +1,114 @@
=== tests/cases/compiler/mod.cts ===
declare function fun(): void;
>fun : Symbol(fun, Decl(mod.cts, 0, 0))
export default fun;
>fun : Symbol(fun, Decl(mod.cts, 0, 0))
=== tests/cases/compiler/b.mts ===
import a from "./mod.cjs";
>a : Symbol(a, Decl(b.mts, 0, 6))
import { default as b } from "./mod.cjs";
>default : Symbol(a, Decl(mod.cts, 0, 0))
>b : Symbol(b, Decl(b.mts, 1, 8))
import c, { default as d } from "./mod.cjs";
>c : Symbol(c, Decl(b.mts, 2, 6))
>default : Symbol(a, Decl(mod.cts, 0, 0))
>d : Symbol(d, Decl(b.mts, 2, 11))
import * as self from "./b.mjs";
>self : Symbol(self, Decl(b.mts, 3, 6))
export { default } from "./mod.cjs";
>default : Symbol(self.default, Decl(b.mts, 4, 8))
export { default as def } from "./mod.cjs";
>default : Symbol(a, Decl(mod.cts, 0, 0))
>def : Symbol(self.def, Decl(b.mts, 5, 8))
a === b;
>a : Symbol(a, Decl(b.mts, 0, 6))
>b : Symbol(b, Decl(b.mts, 1, 8))
b === c;
>b : Symbol(b, Decl(b.mts, 1, 8))
>c : Symbol(c, Decl(b.mts, 2, 6))
c === d;
>c : Symbol(c, Decl(b.mts, 2, 6))
>d : Symbol(d, Decl(b.mts, 2, 11))
d === self.default;
>d : Symbol(d, Decl(b.mts, 2, 11))
>self.default : Symbol(self.default, Decl(b.mts, 4, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>default : Symbol(self.default, Decl(b.mts, 4, 8))
self.default === self.def;
>self.default : Symbol(self.default, Decl(b.mts, 4, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>default : Symbol(self.default, Decl(b.mts, 4, 8))
>self.def : Symbol(self.def, Decl(b.mts, 5, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>def : Symbol(self.def, Decl(b.mts, 5, 8))
// should all fail
a();
>a : Symbol(a, Decl(b.mts, 0, 6))
b();
>b : Symbol(b, Decl(b.mts, 1, 8))
c();
>c : Symbol(c, Decl(b.mts, 2, 6))
d();
>d : Symbol(d, Decl(b.mts, 2, 11))
self.default();
>self.default : Symbol(self.default, Decl(b.mts, 4, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>default : Symbol(self.default, Decl(b.mts, 4, 8))
self.def();
>self.def : Symbol(self.def, Decl(b.mts, 5, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>def : Symbol(self.def, Decl(b.mts, 5, 8))
// should all work
a.default();
>a.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>a : Symbol(a, Decl(b.mts, 0, 6))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
b.default();
>b.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>b : Symbol(b, Decl(b.mts, 1, 8))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
c.default();
>c.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>c : Symbol(c, Decl(b.mts, 2, 6))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
d.default();
>d.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>d : Symbol(d, Decl(b.mts, 2, 11))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
self.default.default();
>self.default.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>self.default : Symbol(self.default, Decl(b.mts, 4, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>default : Symbol(self.default, Decl(b.mts, 4, 8))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
self.def.default();
>self.def.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>self.def : Symbol(self.def, Decl(b.mts, 5, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>def : Symbol(self.def, Decl(b.mts, 5, 8))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))

131
tests/baselines/reference/moduleNodeDefaultImports(module=node16).types Normal file
View File

@ -0,0 +1,131 @@
=== tests/cases/compiler/mod.cts ===
declare function fun(): void;
>fun : () => void
export default fun;
>fun : () => void
=== tests/cases/compiler/b.mts ===
import a from "./mod.cjs";
>a : typeof a
import { default as b } from "./mod.cjs";
>default : typeof a
>b : typeof a
import c, { default as d } from "./mod.cjs";
>c : typeof a
>default : typeof a
>d : typeof a
import * as self from "./b.mjs";
>self : typeof self
export { default } from "./mod.cjs";
>default : typeof a
export { default as def } from "./mod.cjs";
>default : typeof a
>def : typeof a
a === b;
>a === b : boolean
>a : typeof a
>b : typeof a
b === c;
>b === c : boolean
>b : typeof a
>c : typeof a
c === d;
>c === d : boolean
>c : typeof a
>d : typeof a
d === self.default;
>d === self.default : boolean
>d : typeof a
>self.default : typeof a
>self : typeof self
>default : typeof a
self.default === self.def;
>self.default === self.def : boolean
>self.default : typeof a
>self : typeof self
>default : typeof a
>self.def : typeof a
>self : typeof self
>def : typeof a
// should all fail
a();
>a() : any
>a : typeof a
b();
>b() : any
>b : typeof a
c();
>c() : any
>c : typeof a
d();
>d() : any
>d : typeof a
self.default();
>self.default() : any
>self.default : typeof a
>self : typeof self
>default : typeof a
self.def();
>self.def() : any
>self.def : typeof a
>self : typeof self
>def : typeof a
// should all work
a.default();
>a.default() : void
>a.default : () => void
>a : typeof a
>default : () => void
b.default();
>b.default() : void
>b.default : () => void
>b : typeof a
>default : () => void
c.default();
>c.default() : void
>c.default : () => void
>c : typeof a
>default : () => void
d.default();
>d.default() : void
>d.default : () => void
>d : typeof a
>default : () => void
self.default.default();
>self.default.default() : void
>self.default.default : () => void
>self.default : typeof a
>self : typeof self
>default : typeof a
>default : () => void
self.def.default();
>self.def.default() : void
>self.def.default : () => void
>self.def : typeof a
>self : typeof self
>def : typeof a
>default : () => void

64
tests/baselines/reference/moduleNodeDefaultImports(module=nodenext).errors.txt Normal file
View File

@ -0,0 +1,64 @@
tests/cases/compiler/b.mts(15,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(16,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(17,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(18,1): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(19,6): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
tests/cases/compiler/b.mts(20,6): error TS2349: This expression is not callable.
Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
==== tests/cases/compiler/mod.cts (0 errors) ====
declare function fun(): void;
export default fun;
==== tests/cases/compiler/b.mts (6 errors) ====
import a from "./mod.cjs";
import { default as b } from "./mod.cjs";
import c, { default as d } from "./mod.cjs";
import * as self from "./b.mjs";
export { default } from "./mod.cjs";
export { default as def } from "./mod.cjs";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
b();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
c();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
d();
~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
self.default();
~~~~~~~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
self.def();
~~~
!!! error TS2349: This expression is not callable.
!!! error TS2349: Type 'typeof import("tests/cases/compiler/mod")' has no call signatures.
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();

65
tests/baselines/reference/moduleNodeDefaultImports(module=nodenext).js Normal file
View File

@ -0,0 +1,65 @@
//// [tests/cases/compiler/moduleNodeDefaultImports.ts] ////
//// [mod.cts]
declare function fun(): void;
export default fun;
//// [b.mts]
import a from "./mod.cjs";
import { default as b } from "./mod.cjs";
import c, { default as d } from "./mod.cjs";
import * as self from "./b.mjs";
export { default } from "./mod.cjs";
export { default as def } from "./mod.cjs";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
b();
c();
d();
self.default();
self.def();
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();
//// [mod.cjs]
"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.default = fun;
//// [b.mjs]
import a from "./mod.cjs";
import { default as b } from "./mod.cjs";
import c, { default as d } from "./mod.cjs";
import * as self from "./b.mjs";
export { default } from "./mod.cjs";
export { default as def } from "./mod.cjs";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
b();
c();
d();
self.default();
self.def();
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();

114
tests/baselines/reference/moduleNodeDefaultImports(module=nodenext).symbols Normal file
View File

@ -0,0 +1,114 @@
=== tests/cases/compiler/mod.cts ===
declare function fun(): void;
>fun : Symbol(fun, Decl(mod.cts, 0, 0))
export default fun;
>fun : Symbol(fun, Decl(mod.cts, 0, 0))
=== tests/cases/compiler/b.mts ===
import a from "./mod.cjs";
>a : Symbol(a, Decl(b.mts, 0, 6))
import { default as b } from "./mod.cjs";
>default : Symbol(a, Decl(mod.cts, 0, 0))
>b : Symbol(b, Decl(b.mts, 1, 8))
import c, { default as d } from "./mod.cjs";
>c : Symbol(c, Decl(b.mts, 2, 6))
>default : Symbol(a, Decl(mod.cts, 0, 0))
>d : Symbol(d, Decl(b.mts, 2, 11))
import * as self from "./b.mjs";
>self : Symbol(self, Decl(b.mts, 3, 6))
export { default } from "./mod.cjs";
>default : Symbol(self.default, Decl(b.mts, 4, 8))
export { default as def } from "./mod.cjs";
>default : Symbol(a, Decl(mod.cts, 0, 0))
>def : Symbol(self.def, Decl(b.mts, 5, 8))
a === b;
>a : Symbol(a, Decl(b.mts, 0, 6))
>b : Symbol(b, Decl(b.mts, 1, 8))
b === c;
>b : Symbol(b, Decl(b.mts, 1, 8))
>c : Symbol(c, Decl(b.mts, 2, 6))
c === d;
>c : Symbol(c, Decl(b.mts, 2, 6))
>d : Symbol(d, Decl(b.mts, 2, 11))
d === self.default;
>d : Symbol(d, Decl(b.mts, 2, 11))
>self.default : Symbol(self.default, Decl(b.mts, 4, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>default : Symbol(self.default, Decl(b.mts, 4, 8))
self.default === self.def;
>self.default : Symbol(self.default, Decl(b.mts, 4, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>default : Symbol(self.default, Decl(b.mts, 4, 8))
>self.def : Symbol(self.def, Decl(b.mts, 5, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>def : Symbol(self.def, Decl(b.mts, 5, 8))
// should all fail
a();
>a : Symbol(a, Decl(b.mts, 0, 6))
b();
>b : Symbol(b, Decl(b.mts, 1, 8))
c();
>c : Symbol(c, Decl(b.mts, 2, 6))
d();
>d : Symbol(d, Decl(b.mts, 2, 11))
self.default();
>self.default : Symbol(self.default, Decl(b.mts, 4, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>default : Symbol(self.default, Decl(b.mts, 4, 8))
self.def();
>self.def : Symbol(self.def, Decl(b.mts, 5, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>def : Symbol(self.def, Decl(b.mts, 5, 8))
// should all work
a.default();
>a.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>a : Symbol(a, Decl(b.mts, 0, 6))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
b.default();
>b.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>b : Symbol(b, Decl(b.mts, 1, 8))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
c.default();
>c.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>c : Symbol(c, Decl(b.mts, 2, 6))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
d.default();
>d.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>d : Symbol(d, Decl(b.mts, 2, 11))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
self.default.default();
>self.default.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>self.default : Symbol(self.default, Decl(b.mts, 4, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>default : Symbol(self.default, Decl(b.mts, 4, 8))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))
self.def.default();
>self.def.default : Symbol(a.default, Decl(mod.cts, 0, 29))
>self.def : Symbol(self.def, Decl(b.mts, 5, 8))
>self : Symbol(self, Decl(b.mts, 3, 6))
>def : Symbol(self.def, Decl(b.mts, 5, 8))
>default : Symbol(a.default, Decl(mod.cts, 0, 29))

131
tests/baselines/reference/moduleNodeDefaultImports(module=nodenext).types Normal file
View File

@ -0,0 +1,131 @@
=== tests/cases/compiler/mod.cts ===
declare function fun(): void;
>fun : () => void
export default fun;
>fun : () => void
=== tests/cases/compiler/b.mts ===
import a from "./mod.cjs";
>a : typeof a
import { default as b } from "./mod.cjs";
>default : typeof a
>b : typeof a
import c, { default as d } from "./mod.cjs";
>c : typeof a
>default : typeof a
>d : typeof a
import * as self from "./b.mjs";
>self : typeof self
export { default } from "./mod.cjs";
>default : typeof a
export { default as def } from "./mod.cjs";
>default : typeof a
>def : typeof a
a === b;
>a === b : boolean
>a : typeof a
>b : typeof a
b === c;
>b === c : boolean
>b : typeof a
>c : typeof a
c === d;
>c === d : boolean
>c : typeof a
>d : typeof a
d === self.default;
>d === self.default : boolean
>d : typeof a
>self.default : typeof a
>self : typeof self
>default : typeof a
self.default === self.def;
>self.default === self.def : boolean
>self.default : typeof a
>self : typeof self
>default : typeof a
>self.def : typeof a
>self : typeof self
>def : typeof a
// should all fail
a();
>a() : any
>a : typeof a
b();
>b() : any
>b : typeof a
c();
>c() : any
>c : typeof a
d();
>d() : any
>d : typeof a
self.default();
>self.default() : any
>self.default : typeof a
>self : typeof self
>default : typeof a
self.def();
>self.def() : any
>self.def : typeof a
>self : typeof self
>def : typeof a
// should all work
a.default();
>a.default() : void
>a.default : () => void
>a : typeof a
>default : () => void
b.default();
>b.default() : void
>b.default : () => void
>b : typeof a
>default : () => void
c.default();
>c.default() : void
>c.default : () => void
>c : typeof a
>default : () => void
d.default();
>d.default() : void
>d.default : () => void
>d : typeof a
>default : () => void
self.default.default();
>self.default.default() : void
>self.default.default : () => void
>self.default : typeof a
>self : typeof self
>default : typeof a
>default : () => void
self.def.default();
>self.def.default() : void
>self.def.default : () => void
>self.def : typeof a
>self : typeof self
>def : typeof a
>default : () => void

36
tests/cases/compiler/esModuleInteropDefaultImports.ts Normal file
View File

@ -0,0 +1,36 @@
// @esModuleInterop: true
// @filename: mod.ts
declare function fun(): void;
export default fun;
// @filename: a.ts
import mod = require("./mod");
export = mod;
// @filename: b.ts
import a from "./a";
import { default as b } from "./a";
import c, { default as d } from "./a";
import * as self from "./b";
export { default } from "./a";
export { default as def } from "./a";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
b();
c();
d();
self.default();
self.def();
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();

33
tests/cases/compiler/moduleNodeDefaultImports.ts Normal file
View File

@ -0,0 +1,33 @@
// @module: node16,nodenext
// @filename: mod.cts
declare function fun(): void;
export default fun;
// @filename: b.mts
import a from "./mod.cjs";
import { default as b } from "./mod.cjs";
import c, { default as d } from "./mod.cjs";
import * as self from "./b.mjs";
export { default } from "./mod.cjs";
export { default as def } from "./mod.cjs";
a === b;
b === c;
c === d;
d === self.default;
self.default === self.def;
// should all fail
a();
b();
c();
d();
self.default();
self.def();
// should all work
a.default();
b.default();
c.default();
d.default();
self.default.default();
self.def.default();