Import ellision emit bug: usage of imports only in keys of interfaces does not result in those imports being elided as type-only · Microsoft/TypeScript#58081

Métricas do repositório

Stars: (48.455 stars)
Métricas de merge de PR: (Mesclagem média 6d 17h) (9 fundiu PRs em 30d)

Description

🔎 Search Terms

import ellision emit

🕗 Version & Regression Information

This is the behavior in every version I tried - I saw it in typescript 4.9 and in the playground in typescript 5.4.3.

⏯ Playground Link

https://www.typescriptlang.org/play?importHelpers=true&target=99&module=2#code/JYWwDg9gTgLgBAbwEIEEBKBfOAzKERwDkARgIZSEDcAsAFCiSxwBUcpAzjhBDngYdm5U6dAKYAPRvGAA7GKKjZSAY1Fw03GAGUYpeYjpw4AbVRoAugC447GFFkBzGrSPHBEAHRkoVm3cfOGHRAA

💻 Code

import {BAR} from 'bar';
import * as foo from 'foo';

export interface RootState {
  [BAR]: string;
  [foo.bar]: string;
}

🙁 Actual behavior

When compiled to ESNext module:

import { BAR } from 'bar';
import * as foo from 'foo';

when compiled to AMD with importHelpers it's interesting that __importStar appears

define(["require", "exports", "tslib", "bar", "foo"], function (require, exports, tslib_1, bar_1, foo) {
    "use strict";
    Object.defineProperty(exports, "__esModule", { value: true });
    foo = tslib_1.__importStar(foo);
});

🙂 Expected behavior

output should be an entirely empty module, e.g. AMD should be

define(["require", "exports"], function (require, exports) {
    "use strict";
    Object.defineProperty(exports, "__esModule", { value: true });
});

ESNext should be

export {}

Additional information about the issue

No response

Guia do colaborador

Direção de pesquisa: O problema relata que importações usadas apenas em chaves de propriedade computadas de interfaces não são omitidas como importações de tipo apenas. Para depurar, examine a lógica de emissão do compilador TypeScript, particularmente em `src/compiler/emitter.ts` ou `src/compiler/checker.ts`, onde as decisões sobre omitir importações são tomadas. Concentre se na condição que determina se uma importação é usada em uma posição de valor ou de tipo. O problema pode ser que chaves computadas não são reconhecidas como contextos de tipo apenas. O link do playground mostra o problema com ambos os destinos de módulo ESNext e AMD. Investigue o tratamento de `import *` e importações nomeadas em chaves computadas de interface. Não há PRs ou comentários vinculados ainda, então a correção envolveria ajustar a lógica de omissão para tratar chaves computadas como de tipo apenas quando aparecem em declarações de tipo.
Pilha de tecnologia: typescript
Domain: tooling
Tipo Issue: Bug
Difficulty: 3
Tempo estimado: 1-3 horas
Status da atividade: Recente
Clarity: Claro
Prerequisites: TypeScriptGit
Simpatia para novatos: 60