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
|
tests/cases/conformance/types/mapped/mappedTypes5.ts(6,9): error TS2322: Type 'Partial<T>' is not assignable to type 'Readonly<T>'.
tests/cases/conformance/types/mapped/mappedTypes5.ts(8,9): error TS2322: Type 'Partial<Readonly<T>>' is not assignable to type 'Readonly<T>'.
tests/cases/conformance/types/mapped/mappedTypes5.ts(9,9): error TS2322: Type 'Readonly<Partial<T>>' is not assignable to type 'Readonly<T>'.
==== tests/cases/conformance/types/mapped/mappedTypes5.ts (3 errors) ====
function f<T>(p: Partial<T>, r: Readonly<T>, pr: Partial<Readonly<T>>, rp: Readonly<Partial<T>>) {
let a1: Partial<T> = p;
let a2: Partial<T> = r;
let a3: Partial<T> = pr;
let a4: Partial<T> = rp;
let b1: Readonly<T> = p; // Error
~~
!!! error TS2322: Type 'Partial<T>' is not assignable to type 'Readonly<T>'.
let b2: Readonly<T> = r;
let b3: Readonly<T> = pr; // Error
~~
!!! error TS2322: Type 'Partial<Readonly<T>>' is not assignable to type 'Readonly<T>'.
let b4: Readonly<T> = rp; // Error
~~
!!! error TS2322: Type 'Readonly<Partial<T>>' is not assignable to type 'Readonly<T>'.
let c1: Partial<Readonly<T>> = p;
let c2: Partial<Readonly<T>> = r;
let c3: Partial<Readonly<T>> = pr;
let c4: Partial<Readonly<T>> = rp;
let d1: Readonly<Partial<T>> = p;
let d2: Readonly<Partial<T>> = r;
let d3: Readonly<Partial<T>> = pr;
let d4: Readonly<Partial<T>> = rp;
}
// Repro from #17682
type State = {
[key: string]: string | boolean | number | null;
};
type Args1<T extends State> = {
readonly previous: Readonly<Partial<T>>;
readonly current: Readonly<Partial<T>>;
};
type Args2<T extends State> = {
readonly previous: Partial<Readonly<T>>;
readonly current: Partial<Readonly<T>>;
};
function doit<T extends State>() {
let previous: Partial<T> = Object.create(null);
let current: Partial<T> = Object.create(null);
let args1: Args1<T> = { previous, current };
let args2: Args2<T> = { previous, current };
}
type State2 = { foo: number, bar: string };
type Args3 = {
readonly previous: Readonly<Partial<State2>>;
readonly current: Readonly<Partial<State2>>;
};
type Args4 = {
readonly previous: Partial<Readonly<State2>>;
readonly current: Partial<Readonly<State2>>;
};
function doit2() {
let previous: Partial<State2> = Object.create(null);
let current: Partial<State2> = Object.create(null);
let args1: Args3 = { previous, current };
let args2: Args4 = { previous, current };
}
|
