1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
=== /user.ts ===
// Error, can't re-export something that's only a type.
export { T } from "./exportT";
>T : any
export import T2 = require("./exportEqualsT");
>T2 : any
// OK, has a value side
export { C } from "./exportValue";
>C : typeof CC
// OK, even though the namespace it exports is only types.
import * as NS from "./exportT";
>NS : typeof NS
export { NS };
>NS : typeof NS
// OK, syntactically clear that a type is being re-exported.
export type T3 = T;
>T3 : number
// Error, not clear (to an isolated module) whether `T4` is a type.
import { T } from "./exportT";
>T : any
export { T as T4 };
>T : any
>T4 : any
// Ok, type-only import indicates that the export can be elided.
import type { T as TT } from "./exportT";
>T : any
>TT : number
export { TT };
>TT : any
// Error, type-only declaration is in a different file.
import { C as CC } from "./reExportValueAsTypeOnly";
>C : typeof CC
>CC : typeof CC
export { CC };
>CC : typeof CC
=== /exportT.ts ===
export type T = number;
>T : number
=== /exportValue.ts ===
export class C {}
>C : C
=== /exportEqualsT.ts ===
declare type T = number;
>T : number
export = T;
>T : number
=== /reExportValueAsTypeOnly.ts ===
export type { C } from "./exportValue";
>C : import("/exportValue").C
|
