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
|
//// [silentNeverPropagation.ts]
// Repro from #45041
type ModuleWithState<TState> = {
state: TState;
};
type State = {
a: number;
};
type MoreState = {
z: string;
};
declare function createModule<TState, TActions>(state: TState, actions: TActions): ModuleWithState<TState> & TActions;
declare function convert<TState, TActions>(m: ModuleWithState<TState> & TActions): ModuleWithState<TState & MoreState> & TActions;
const breaks = convert(
createModule({ a: 12 }, { foo() { return true } })
);
breaks.state.a
breaks.state.z
breaks.foo()
//// [silentNeverPropagation.js]
"use strict";
// Repro from #45041
var breaks = convert(createModule({ a: 12 }, { foo: function () { return true; } }));
breaks.state.a;
breaks.state.z;
breaks.foo();
//// [silentNeverPropagation.d.ts]
type ModuleWithState<TState> = {
state: TState;
};
type State = {
a: number;
};
type MoreState = {
z: string;
};
declare function createModule<TState, TActions>(state: TState, actions: TActions): ModuleWithState<TState> & TActions;
declare function convert<TState, TActions>(m: ModuleWithState<TState> & TActions): ModuleWithState<TState & MoreState> & TActions;
declare const breaks: ModuleWithState<{
a: number;
} & MoreState> & ModuleWithState<{
a: number;
}> & {
foo(): true;
};
|
