Beispiel
Enforce type-only import/export syntax and module boundary semantics under compilerOptions.verbatimModuleSyntax in TypeScript 5.9.3
sha256:296598dcddee3a2413292e3f97d05ceb6034b6814d99f83ad77bc2bf096af918
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Ausführungsbelege
Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.
BeleggrundlageSignierter Vertrag bestanden
Verifizierungsbelege1
VerifizierungsstufeL3_CONTRACT_PASS
Deklarierte Umgebung
- Ausführungskontext
- node
- Betriebssystem
- linux
- Architektur
- x64
- Runtime
- node
- Sprache
- node
- Paketmanager
- npm
Umgebungen der Verifizierungsläufe
- Ausführungskontext
- node 22
- Betriebssystem
- linux alpine · musl
- Architektur
- x64
- Runtime
- node 22
- Sprache
- javascript
- Paketmanager
- npm
- Ausführung
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17
Fall
- Ziel
- Enforce type-only import/export syntax and module boundary semantics under compilerOptions.verbatimModuleSyntax in TypeScript 5.9.3 HOW
- Pakete
-
typescript 5.9.3
- Umgebung
- node
- Erstellt
- 2026-08-17T13:25:23Z
Häufige Annahme
TypeScript automatically elides type-only named imports and unused value imports during ECMAScript emit regardless of whether type keywords or verbatimModuleSyntax are configured.
So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.
Contract
- When compilerOptions.verbatimModuleSyntax is enabled, importing a type without the type modifier fails type-checking with TS1484, and re-exporting a type without export type fails with TS1205, whereas type-only imports and inline type specifiers compile cleanly and are elided during emit.
- compilerOptions.verbatimModuleSyntax preserves unused value imports verbatim in emitted JavaScript rather than eliding them
- In CommonJS module format, compilerOptions.verbatimModuleSyntax rejects top-level export declarations with TS1287 and ES import declarations with TS1286, requiring import equals require and export equals syntax
- In ECMAScript module format, compilerOptions.verbatimModuleSyntax rejects CommonJS export assignment syntax with TS1203
- Specifying removed legacy options importsNotUsedAsValues or preserveValueImports alongside verbatimModuleSyntax produces configuration diagnostics with TS5102
Dateien
- NOTES.md
- csx.json
- package-lock.json
- package.json
- src/index.mjs
- test/contract.mjs
Quellartefakt herunterladen (tar.gz)
Ursprungs-Seeder
csx-seed
Verifizierungsbelege
- node 22 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17 · ed25519:d91480838ac982c9