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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
=== tests/cases/compiler/silentNeverPropagation.ts ===
// Repro from #45041
type ModuleWithState<TState> = {
>ModuleWithState : Symbol(ModuleWithState, Decl(silentNeverPropagation.ts, 0, 0))
>TState : Symbol(TState, Decl(silentNeverPropagation.ts, 2, 21))
state: TState;
>state : Symbol(state, Decl(silentNeverPropagation.ts, 2, 32))
>TState : Symbol(TState, Decl(silentNeverPropagation.ts, 2, 21))
};
type State = {
>State : Symbol(State, Decl(silentNeverPropagation.ts, 4, 2))
a: number;
>a : Symbol(a, Decl(silentNeverPropagation.ts, 6, 14))
};
type MoreState = {
>MoreState : Symbol(MoreState, Decl(silentNeverPropagation.ts, 8, 2))
z: string;
>z : Symbol(z, Decl(silentNeverPropagation.ts, 10, 18))
};
declare function createModule<TState, TActions>(state: TState, actions: TActions): ModuleWithState<TState> & TActions;
>createModule : Symbol(createModule, Decl(silentNeverPropagation.ts, 12, 2))
>TState : Symbol(TState, Decl(silentNeverPropagation.ts, 14, 30))
>TActions : Symbol(TActions, Decl(silentNeverPropagation.ts, 14, 37))
>state : Symbol(state, Decl(silentNeverPropagation.ts, 14, 48))
>TState : Symbol(TState, Decl(silentNeverPropagation.ts, 14, 30))
>actions : Symbol(actions, Decl(silentNeverPropagation.ts, 14, 62))
>TActions : Symbol(TActions, Decl(silentNeverPropagation.ts, 14, 37))
>ModuleWithState : Symbol(ModuleWithState, Decl(silentNeverPropagation.ts, 0, 0))
>TState : Symbol(TState, Decl(silentNeverPropagation.ts, 14, 30))
>TActions : Symbol(TActions, Decl(silentNeverPropagation.ts, 14, 37))
declare function convert<TState, TActions>(m: ModuleWithState<TState> & TActions): ModuleWithState<TState & MoreState> & TActions;
>convert : Symbol(convert, Decl(silentNeverPropagation.ts, 14, 118))
>TState : Symbol(TState, Decl(silentNeverPropagation.ts, 16, 25))
>TActions : Symbol(TActions, Decl(silentNeverPropagation.ts, 16, 32))
>m : Symbol(m, Decl(silentNeverPropagation.ts, 16, 43))
>ModuleWithState : Symbol(ModuleWithState, Decl(silentNeverPropagation.ts, 0, 0))
>TState : Symbol(TState, Decl(silentNeverPropagation.ts, 16, 25))
>TActions : Symbol(TActions, Decl(silentNeverPropagation.ts, 16, 32))
>ModuleWithState : Symbol(ModuleWithState, Decl(silentNeverPropagation.ts, 0, 0))
>TState : Symbol(TState, Decl(silentNeverPropagation.ts, 16, 25))
>MoreState : Symbol(MoreState, Decl(silentNeverPropagation.ts, 8, 2))
>TActions : Symbol(TActions, Decl(silentNeverPropagation.ts, 16, 32))
const breaks = convert(
>breaks : Symbol(breaks, Decl(silentNeverPropagation.ts, 18, 5))
>convert : Symbol(convert, Decl(silentNeverPropagation.ts, 14, 118))
createModule({ a: 12 }, { foo() { return true } })
>createModule : Symbol(createModule, Decl(silentNeverPropagation.ts, 12, 2))
>a : Symbol(a, Decl(silentNeverPropagation.ts, 19, 18))
>foo : Symbol(foo, Decl(silentNeverPropagation.ts, 19, 29))
);
breaks.state.a
>breaks.state.a : Symbol(a, Decl(silentNeverPropagation.ts, 19, 18))
>breaks.state : Symbol(state, Decl(silentNeverPropagation.ts, 2, 32), Decl(silentNeverPropagation.ts, 2, 32))
>breaks : Symbol(breaks, Decl(silentNeverPropagation.ts, 18, 5))
>state : Symbol(state, Decl(silentNeverPropagation.ts, 2, 32), Decl(silentNeverPropagation.ts, 2, 32))
>a : Symbol(a, Decl(silentNeverPropagation.ts, 19, 18))
breaks.state.z
>breaks.state.z : Symbol(z, Decl(silentNeverPropagation.ts, 10, 18))
>breaks.state : Symbol(state, Decl(silentNeverPropagation.ts, 2, 32), Decl(silentNeverPropagation.ts, 2, 32))
>breaks : Symbol(breaks, Decl(silentNeverPropagation.ts, 18, 5))
>state : Symbol(state, Decl(silentNeverPropagation.ts, 2, 32), Decl(silentNeverPropagation.ts, 2, 32))
>z : Symbol(z, Decl(silentNeverPropagation.ts, 10, 18))
breaks.foo()
>breaks.foo : Symbol(foo, Decl(silentNeverPropagation.ts, 19, 29))
>breaks : Symbol(breaks, Decl(silentNeverPropagation.ts, 18, 5))
>foo : Symbol(foo, Decl(silentNeverPropagation.ts, 19, 29))
|
