Revert "fixed errors on specifier-less imports"

This reverts commit ca9be69.

Author: Andarist

src/compiler/checker.ts

@@ -4568,9 +4568,9 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             }
 
             if (resolvedModule.resolvedUsingTsExtension && isDeclarationFileName(moduleReference)) {
-                const importOrExport = findAncestor(location, isImportDeclaration) ||
+                const importOrExport = findAncestor(location, isImportDeclaration)?.importClause ||
                     findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
-                if (errorNode && importOrExport && !(isImportDeclaration(importOrExport) ? importOrExport.importClause : importOrExport)?.isTypeOnly || findAncestor(location, isImportCall)) {
+                if (errorNode && importOrExport && !importOrExport.isTypeOnly || findAncestor(location, isImportCall)) {
                     error(
                         errorNode,
                         Diagnostics.A_declaration_file_cannot_be_imported_without_import_type_Did_you_mean_to_import_an_implementation_file_0_instead,
@@ -4579,9 +4579,9 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
                 }
             }
             else if (resolvedModule.resolvedUsingTsExtension && !shouldAllowImportingTsExtension(compilerOptions, currentSourceFile.fileName)) {
-                const importOrExport = findAncestor(location, isImportDeclaration) ||
+                const importOrExport = findAncestor(location, isImportDeclaration)?.importClause ||
                     findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
-                if (errorNode && !(importOrExport && (isImportDeclaration(importOrExport) ? importOrExport.importClause : importOrExport)?.isTypeOnly || findAncestor(location, isImportTypeNode))) {
+                if (errorNode && !(importOrExport?.isTypeOnly || findAncestor(location, isImportTypeNode))) {
                     const tsExtension = Debug.checkDefined(tryExtractTSExtension(moduleReference));
                     error(errorNode, Diagnostics.An_import_path_can_only_end_with_a_0_extension_when_allowImportingTsExtensions_is_enabled, tsExtension);
                 }

src/testRunner/unittests/programApi.ts

@@ -216,17 +216,14 @@ describe("unittests:: programApi:: Program.getTypeChecker / Program.getSemanticD
         const sourceFile = program.getSourceFile("main.ts")!;
         const typeChecker = program.getTypeChecker();
         typeChecker.getSymbolAtLocation((sourceFile.statements[0] as ts.ImportDeclaration).moduleSpecifier);
-        const diagnostics = program.getSemanticDiagnostics()
-        assert.equal(diagnostics.length, 1);
-        assert.equal(diagnostics[0].code, ts.Diagnostics.File_0_is_not_a_module.code);
-        assert.equal(diagnostics[0].messageText, "File '/module.d.ts' is not a module.");
+        assert.isEmpty(program.getSemanticDiagnostics());
     });
 });
 
 describe("unittests:: programApi:: CompilerOptions relative paths", () => {
     it("resolves relative paths by getCurrentDirectory", () => {
         const main = new documents.TextDocument("/main.ts", 'import "module";');
-        const mod = new documents.TextDocument("/lib/module.ts", "export declare const foo: any;");
+        const mod = new documents.TextDocument("/lib/module.ts", "declare const foo: any;");
 
         const fs = vfs.createFromFileSystem(Harness.IO, /*ignoreCase*/ false, { documents: [main, mod], cwd: "/" });
         const program = ts.createProgram(["./main.ts"], {

src/testRunner/unittests/tscWatch/programUpdates.ts

@@ -2129,7 +2129,7 @@ import { x } from "../b";`,
         sys: () => {
             const module1: File = {
                 path: `/user/username/projects/myproject/a.ts`,
-                content: `export {};`,
+                content: ``,
             };
             const module2: File = {
                 path: `/user/username/projects/myproject/b.ts`,

tests/baselines/reference/allowsImportingTsExtension.errors.txt

@@ -1,11 +1,9 @@
 b.ts(2,16): error TS5097: An import path can only end with a '.ts' extension when 'allowImportingTsExtensions' is enabled.
-b.ts(3,8): error TS5097: An import path can only end with a '.ts' extension when 'allowImportingTsExtensions' is enabled.
-b.ts(4,30): error TS5097: An import path can only end with a '.ts' extension when 'allowImportingTsExtensions' is enabled.
-b.ts(6,25): error TS5097: An import path can only end with a '.ts' extension when 'allowImportingTsExtensions' is enabled.
+b.ts(3,30): error TS5097: An import path can only end with a '.ts' extension when 'allowImportingTsExtensions' is enabled.
+b.ts(5,25): error TS5097: An import path can only end with a '.ts' extension when 'allowImportingTsExtensions' is enabled.
 c.ts(2,16): error TS2846: A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file './a.js' instead?
-c.ts(3,8): error TS2846: A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file './a.js' instead?
-c.ts(4,30): error TS2846: A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file './a.js' instead?
-c.ts(6,25): error TS2846: A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file './a.js' instead?
+c.ts(3,30): error TS2846: A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file './a.js' instead?
+c.ts(5,25): error TS2846: A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file './a.js' instead?
 
 
 ==== a.ts (0 errors) ====
@@ -14,13 +12,10 @@ c.ts(6,25): error TS2846: A declaration file cannot be imported without 'import
 ==== a.d.ts (0 errors) ====
     export class A {}
 
-==== b.ts (4 errors) ====
+==== b.ts (3 errors) ====
     import type { A } from "./a.ts"; // ok
     import {} from "./a.ts"; // error
                    ~~~~~~~~
-!!! error TS5097: An import path can only end with a '.ts' extension when 'allowImportingTsExtensions' is enabled.
-    import "./a.ts"; // error
-           ~~~~~~~~
 !!! error TS5097: An import path can only end with a '.ts' extension when 'allowImportingTsExtensions' is enabled.
     import { type A as _A } from "./a.ts"; // error
                                  ~~~~~~~~
@@ -30,13 +25,10 @@ c.ts(6,25): error TS2846: A declaration file cannot be imported without 'import
                             ~~~~~~~~
 !!! error TS5097: An import path can only end with a '.ts' extension when 'allowImportingTsExtensions' is enabled.
 
-==== c.ts (4 errors) ====
+==== c.ts (3 errors) ====
     import type { A } from "./a.d.ts"; // ok
     import {} from "./a.d.ts"; // error
                    ~~~~~~~~~~
-!!! error TS2846: A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file './a.js' instead?
-    import "./a.d.ts"; // error
-           ~~~~~~~~~~
 !!! error TS2846: A declaration file cannot be imported without 'import type'. Did you mean to import an implementation file './a.js' instead?
     import { type A as _A } from "./a.d.ts"; // error
                                  ~~~~~~~~~~

tests/baselines/reference/allowsImportingTsExtension.js

@@ -9,15 +9,13 @@ export class A {}
 //// [b.ts]
 import type { A } from "./a.ts"; // ok
 import {} from "./a.ts"; // error
-import "./a.ts"; // error
 import { type A as _A } from "./a.ts"; // error
 type __A = import("./a.ts").A; // ok
 const aPromise = import("./a.ts"); // error
 
 //// [c.ts]
 import type { A } from "./a.d.ts"; // ok
 import {} from "./a.d.ts"; // error
-import "./a.d.ts"; // error
 import { type A as _A } from "./a.d.ts"; // error
 type __A = import("./a.d.ts").A; // ok
 const aPromise = import("./a.d.ts"); // error
@@ -27,8 +25,8 @@ const aPromise = import("./a.d.ts"); // error
 export class A {
 }
 //// [b.js]
-import "./a.ts"; // error
 const aPromise = import("./a.ts"); // error
+export {};
 //// [c.js]
-import "./a.d.ts"; // error
 const aPromise = import("./a.d.ts"); // error
+export {};

tests/baselines/reference/allowsImportingTsExtension.symbols

@@ -13,34 +13,32 @@ import type { A } from "./a.ts"; // ok
 >A : Symbol(A, Decl(b.ts, 0, 13))
 
 import {} from "./a.ts"; // error
-import "./a.ts"; // error
 import { type A as _A } from "./a.ts"; // error
 >A : Symbol(A, Decl(a.ts, 0, 0))
->_A : Symbol(_A, Decl(b.ts, 3, 8))
+>_A : Symbol(_A, Decl(b.ts, 2, 8))
 
 type __A = import("./a.ts").A; // ok
->__A : Symbol(__A, Decl(b.ts, 3, 38))
+>__A : Symbol(__A, Decl(b.ts, 2, 38))
 >A : Symbol(A, Decl(a.ts, 0, 0))
 
 const aPromise = import("./a.ts"); // error
->aPromise : Symbol(aPromise, Decl(b.ts, 5, 5))
+>aPromise : Symbol(aPromise, Decl(b.ts, 4, 5))
 >"./a.ts" : Symbol("a", Decl(a.ts, 0, 0))
 
 === c.ts ===
 import type { A } from "./a.d.ts"; // ok
 >A : Symbol(A, Decl(c.ts, 0, 13))
 
 import {} from "./a.d.ts"; // error
-import "./a.d.ts"; // error
 import { type A as _A } from "./a.d.ts"; // error
 >A : Symbol(A, Decl(a.ts, 0, 0))
->_A : Symbol(_A, Decl(c.ts, 3, 8))
+>_A : Symbol(_A, Decl(c.ts, 2, 8))
 
 type __A = import("./a.d.ts").A; // ok
->__A : Symbol(__A, Decl(c.ts, 3, 40))
+>__A : Symbol(__A, Decl(c.ts, 2, 40))
 >A : Symbol(A, Decl(a.ts, 0, 0))
 
 const aPromise = import("./a.d.ts"); // error
->aPromise : Symbol(aPromise, Decl(c.ts, 5, 5))
+>aPromise : Symbol(aPromise, Decl(c.ts, 4, 5))
 >"./a.d.ts" : Symbol("a", Decl(a.ts, 0, 0))
 

tests/baselines/reference/allowsImportingTsExtension.types

@@ -16,7 +16,6 @@ import type { A } from "./a.ts"; // ok
 >  : ^
 
 import {} from "./a.ts"; // error
-import "./a.ts"; // error
 import { type A as _A } from "./a.ts"; // error
 >A : typeof A
 >  : ^^^^^^^^
@@ -41,7 +40,6 @@ import type { A } from "./a.d.ts"; // ok
 >  : ^
 
 import {} from "./a.d.ts"; // error
-import "./a.d.ts"; // error
 import { type A as _A } from "./a.d.ts"; // error
 >A : typeof A
 >  : ^^^^^^^^

tests/baselines/reference/ambientExportDefaultErrors.errors.txt

@@ -1,22 +1,16 @@
-consumer.ts(4,8): error TS2307: Cannot find module 'foo' or its corresponding type declarations.
-consumer.ts(6,8): error TS2307: Cannot find module 'foo2' or its corresponding type declarations.
 foo.d.ts(1,16): error TS2714: The expression of an export assignment must be an identifier or qualified name in an ambient context.
 foo2.d.ts(1,10): error TS2714: The expression of an export assignment must be an identifier or qualified name in an ambient context.
 indirection.d.ts(3,20): error TS2714: The expression of an export assignment must be an identifier or qualified name in an ambient context.
 indirection2.d.ts(3,14): error TS2714: The expression of an export assignment must be an identifier or qualified name in an ambient context.
 
 
-==== consumer.ts (2 errors) ====
+==== consumer.ts (0 errors) ====
     /// <reference path="./indirection.d.ts" />
     /// <reference path="./indirection2.d.ts" />
     import "indirect";
     import "foo";
-           ~~~~~
-!!! error TS2307: Cannot find module 'foo' or its corresponding type declarations.
     import "indirect2";
     import "foo2";
-           ~~~~~~
-!!! error TS2307: Cannot find module 'foo2' or its corresponding type declarations.
 ==== foo.d.ts (1 errors) ====
     export default 2 + 2;
                    ~~~~~

tests/baselines/reference/amdDependencyCommentName4.errors.txt

@@ -1,20 +1,16 @@
-amdDependencyCommentName4.ts(6,8): error TS2792: Cannot find module 'unaliasedModule1'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
 amdDependencyCommentName4.ts(8,21): error TS2792: Cannot find module 'aliasedModule1'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
 amdDependencyCommentName4.ts(11,26): error TS2792: Cannot find module 'aliasedModule2'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
 amdDependencyCommentName4.ts(14,15): error TS2792: Cannot find module 'aliasedModule3'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
 amdDependencyCommentName4.ts(17,21): error TS2792: Cannot find module 'aliasedModule4'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
-amdDependencyCommentName4.ts(20,8): error TS2792: Cannot find module 'unaliasedModule2'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
 
 
-==== amdDependencyCommentName4.ts (6 errors) ====
+==== amdDependencyCommentName4.ts (4 errors) ====
     ///<amd-dependency path='aliasedModule5' name='n1'/>
     ///<amd-dependency path='unaliasedModule3'/>
     ///<amd-dependency path='aliasedModule6' name='n2'/>
     ///<amd-dependency path='unaliasedModule4'/>
 
     import "unaliasedModule1";
-           ~~~~~~~~~~~~~~~~~~
-!!! error TS2792: Cannot find module 'unaliasedModule1'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
 
     import r1 = require("aliasedModule1");
                         ~~~~~~~~~~~~~~~~
@@ -36,6 +32,4 @@ amdDependencyCommentName4.ts(20,8): error TS2792: Cannot find module 'unaliasedM
 !!! error TS2792: Cannot find module 'aliasedModule4'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
     ns;
 
-    import "unaliasedModule2";
-           ~~~~~~~~~~~~~~~~~~
-!!! error TS2792: Cannot find module 'unaliasedModule2'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
+    import "unaliasedModule2";

tests/baselines/reference/autoAccessorDisallowedModifiers.errors.txt

@@ -23,15 +23,14 @@ autoAccessorDisallowedModifiers.ts(31,1): error TS1275: 'accessor' modifier can
 autoAccessorDisallowedModifiers.ts(32,1): error TS1275: 'accessor' modifier can only appear on a property declaration.
 autoAccessorDisallowedModifiers.ts(33,1): error TS1275: 'accessor' modifier can only appear on a property declaration.
 autoAccessorDisallowedModifiers.ts(34,1): error TS1275: 'accessor' modifier can only appear on a property declaration.
-autoAccessorDisallowedModifiers.ts(34,17): error TS2792: Cannot find module 'x'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
 autoAccessorDisallowedModifiers.ts(35,1): error TS1275: 'accessor' modifier can only appear on a property declaration.
 autoAccessorDisallowedModifiers.ts(35,25): error TS2792: Cannot find module 'x'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
 autoAccessorDisallowedModifiers.ts(36,1): error TS1275: 'accessor' modifier can only appear on a property declaration.
 autoAccessorDisallowedModifiers.ts(37,1): error TS1275: 'accessor' modifier can only appear on a property declaration.
 autoAccessorDisallowedModifiers.ts(38,1): error TS1275: 'accessor' modifier can only appear on a property declaration.
 
 
-==== autoAccessorDisallowedModifiers.ts (31 errors) ====
+==== autoAccessorDisallowedModifiers.ts (30 errors) ====
     abstract class C1 {
         accessor accessor a: any;
                  ~~~~~~~~
@@ -116,8 +115,6 @@ autoAccessorDisallowedModifiers.ts(38,1): error TS1275: 'accessor' modifier can
     accessor import "x";
     ~~~~~~~~
 !!! error TS1275: 'accessor' modifier can only appear on a property declaration.
-                    ~~~
-!!! error TS2792: Cannot find module 'x'. Did you mean to set the 'moduleResolution' option to 'nodenext', or to add aliases to the 'paths' option?
     accessor import {} from "x";
     ~~~~~~~~
 !!! error TS1275: 'accessor' modifier can only appear on a property declaration.