Missing compiler error (or emit bug) in another isolatedModules + emitDecoratorMetadata use case

🔎 Search Terms

"isolatedModules" "emitDecoratorMetadata"

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ

⏯ Playground Link

https://www.typescriptlang.org/dev/bug-workbench/?importHelpers=true&experimentalDecorators=true&emitDecoratorMetadata=true&target=99&module=1&isolatedModules=true&noResolve=true&lib=lib.esnext.d.ts%2Clib.decorators.legacy.d.ts&ts=5.3.2#code/PTAEAEEsGcHsBsCGAXApgEwLK3QV3qtAFAgSoAeADqgE6QC2qAdsovACKoDGsNKvxUuFY0A5qmQAuUAFEAygDkKyEmHAVqdRizacefZAOnIauVKrL1IyPb341MExOhSJjp80PiQARtMJMygA06Nx2hjTQAHQEoohcAJ4W4ABmkARMiIzGCdQAtBq8yFHIxIU0yKDIuaigAIKgALygACwA3ETJaRlZqNK40Kh5ofr2eQDu1gAWedXUJcQMlEWgAN5VNfWgAL6gKTSw9KAARFHAc0PlxQBW0McdRFd7uExcyJCwTKAAKoTIABQASjWRFAoBoElwNC+L1CaUC6FAiGgSKYCSRKIACog+Iw0DRbAZeB1tp0nlwkNAUQANEFgnhMaAmXBvXj-cC-JlA0DkaR1YGrUnbIA

💻 Code

// @isolatedModules
// @experimentalDecorators
// @target: ESNext
// @experimentalDecorators: true
// @emitDecoratorMetadata: true
// @lib: esnext,decorators.legacy
// @filename: type-export.ts
export type A = 4;

// @filename: use-decorator-with-type.ts
import { type A } from "./type-export.js";

export function Test() {
  return undefined as any as ParameterDecorator;
}

export class X {
  constructor(@Test() x: A) {}
}

🙁 Actual behavior

The key issue here is that the emitted file for use-decorator-with-type.ts looks like this:

/* ... helpers snipped ... */
export function Test() {
    return undefined;
}
let X = class X {
    constructor(x) { }
};
X = __decorate([
    __param(0, Test()),
    __metadata("design:paramtypes", [Number])
], X);
export { X };

And the problematic line is __metadata("design:paramtypes", [Number]).

Typescript manages to avoid any broken imports and produce working runtime code but the runtime code leaks information about the type of A from the other file by using Number in the metadata. This seems like a clear violation of isolatedModules, but no compiler error is emitted.

🙂 Expected behavior

TS should either emit an isolatedModules-related error or should output something more generic than Number. If the emit is changed, though, I'm not sure what the ecosystem ramifications would be, so probably this should just be an error.

Additional information about the issue

No response

Bắt đầu với bản tái hiện được cung cấp trong Playground bằng cách sử dụng type-export.ts và use-decorator-with-type.ts, sau đó kiểm tra đường dẫn của compiler chịu trách nhiệm cho isolatedModules và emitDecoratorMetadata. Tái hiện đầu ra __metadata("design:paramtypes", [Number]) được phát ra và xác định liệu fix hoàn chỉnh nên báo cáo một chẩn đoán isolatedModules hay thay đổi metadata được phát ra, với phạm vi kiểm thử hồi quy cho trường hợp này.