File: mappedTypes5.errors.txt

package info (click to toggle)
node-typescript 3.3.3333-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 324,548 kB
  • sloc: makefile: 6; sh: 3
file content (73 lines) | stat: -rw-r--r-- 2,866 bytes parent folder | download | duplicates (5)
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 };
    }