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/conformance/expressions/typeSatisfaction/typeSatisfaction.ts ===
interface I1 {
a: number;
>a : number
}
type T1 = {
>T1 : { a: "a" | "b"; }
a: "a" | "b";
>a : "a" | "b"
}
type T2 = (x: string) => void;
>T2 : (x: string) => void
>x : string
const t1 = { a: 1 } satisfies I1; // Ok
>t1 : { a: number; }
>{ a: 1 } satisfies I1 : { a: number; }
>{ a: 1 } : { a: number; }
>a : number
>1 : 1
const t2 = { a: 1, b: 1 } satisfies I1; // Error
>t2 : { a: number; b: number; }
>{ a: 1, b: 1 } satisfies I1 : { a: number; b: number; }
>{ a: 1, b: 1 } : { a: number; b: number; }
>a : number
>1 : 1
>b : number
>1 : 1
const t3 = { } satisfies I1; // Error
>t3 : {}
>{ } satisfies I1 : {}
>{ } : {}
const t4: T1 = { a: "a" } satisfies T1; // Ok
>t4 : T1
>{ a: "a" } satisfies T1 : { a: "a"; }
>{ a: "a" } : { a: "a"; }
>a : "a"
>"a" : "a"
const t5 = (m => m.substring(0)) satisfies T2; // Ok
>t5 : (m: string) => string
>(m => m.substring(0)) satisfies T2 : (m: string) => string
>(m => m.substring(0)) : (m: string) => string
>m => m.substring(0) : (m: string) => string
>m : string
>m.substring(0) : string
>m.substring : (start: number, end?: number) => string
>m : string
>substring : (start: number, end?: number) => string
>0 : 0
const t6 = [1, 2] satisfies [number, number];
>t6 : [number, number]
>[1, 2] satisfies [number, number] : [number, number]
>[1, 2] : [number, number]
>1 : 1
>2 : 2
interface A {
a: string
>a : string
}
let t7 = { a: 'test' } satisfies A;
>t7 : { a: string; }
>{ a: 'test' } satisfies A : { a: string; }
>{ a: 'test' } : { a: string; }
>a : string
>'test' : "test"
let t8 = { a: 'test', b: 'test' } satisfies A;
>t8 : { a: string; b: string; }
>{ a: 'test', b: 'test' } satisfies A : { a: string; b: string; }
>{ a: 'test', b: 'test' } : { a: string; b: string; }
>a : string
>'test' : "test"
>b : string
>'test' : "test"
|
