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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
=== tests/cases/compiler/check.ts ===
// https://github.com/microsoft/TypeScript/issues/31972
// https://github.com/microsoft/TypeScript/issues/31972
interface Person {
first: string;
>first : string
last: string;
>last : string
}
{
const dice = () => Math.floor(Math.random() * 6);
>dice : { (): number; first: string; last: string; }
>() => Math.floor(Math.random() * 6) : { (): number; first: string; last: string; }
>Math.floor(Math.random() * 6) : number
>Math.floor : (x: number) => number
>Math : Math
>floor : (x: number) => number
>Math.random() * 6 : number
>Math.random() : number
>Math.random : () => number
>Math : Math
>random : () => number
>6 : 6
dice.first = 'Rando';
>dice.first = 'Rando' : "Rando"
>dice.first : string
>dice : { (): number; first: string; last: string; }
>first : string
>'Rando' : "Rando"
dice.last = 'Calrissian';
>dice.last = 'Calrissian' : "Calrissian"
>dice.last : string
>dice : { (): number; first: string; last: string; }
>last : string
>'Calrissian' : "Calrissian"
const diceP: Person = dice;
>diceP : Person
>dice : { (): number; first: string; last: string; }
}
=== tests/cases/compiler/check.js ===
// Creates a type { first:string, last: string }
/**
* @typedef {Object} Human - creates a new type named 'SpecialType'
* @property {string} first - a string property of SpecialType
* @property {string} last - a number property of SpecialType
*/
/**
* @param {Human} param used as a validation tool
*/
function doHumanThings(param) {}
>doHumanThings : (param: Human) => void
>param : Human
const dice1 = () => Math.floor(Math.random() * 6);
>dice1 : { (): number; last: string; }
>() => Math.floor(Math.random() * 6) : { (): number; last: string; }
>Math.floor(Math.random() * 6) : number
>Math.floor : (x: number) => number
>Math : Math
>floor : (x: number) => number
>Math.random() * 6 : number
>Math.random() : number
>Math.random : () => number
>Math : Math
>random : () => number
>6 : 6
// dice1.first = 'Rando';
dice1.last = 'Calrissian';
>dice1.last = 'Calrissian' : "Calrissian"
>dice1.last : string
>dice1 : { (): number; last: string; }
>last : string
>'Calrissian' : "Calrissian"
// doHumanThings(dice)
// but inside a block... you can't call a human
{
const dice2 = () => Math.floor(Math.random() * 6);
>dice2 : { (): number; first: string; last: string; }
>() => Math.floor(Math.random() * 6) : { (): number; first: string; last: string; }
>Math.floor(Math.random() * 6) : number
>Math.floor : (x: number) => number
>Math : Math
>floor : (x: number) => number
>Math.random() * 6 : number
>Math.random() : number
>Math.random : () => number
>Math : Math
>random : () => number
>6 : 6
dice2.first = 'Rando';
>dice2.first = 'Rando' : "Rando"
>dice2.first : string
>dice2 : { (): number; first: string; last: string; }
>first : string
>'Rando' : "Rando"
dice2.last = 'Calrissian';
>dice2.last = 'Calrissian' : "Calrissian"
>dice2.last : string
>dice2 : { (): number; first: string; last: string; }
>last : string
>'Calrissian' : "Calrissian"
doHumanThings(dice2)
>doHumanThings(dice2) : void
>doHumanThings : (param: Human) => void
>dice2 : { (): number; first: string; last: string; }
}
|
