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
|
=== tests/cases/conformance/generators/generatorImplicitAny.ts ===
function* g() {}
>g : () => Generator<never, void, unknown>
// https://github.com/microsoft/TypeScript/issues/35105
declare function noop(): void;
>noop : () => void
declare function f<T>(value: T): void;
>f : <T>(value: T) => void
>value : T
function* g2() {
>g2 : () => Generator<undefined, void, unknown>
const value = yield; // error: implicit any
>value : any
>yield : any
}
function* g3() {
>g3 : () => Generator<undefined, void, string>
const value: string = yield; // ok, contextually typed by `value`.
>value : string
>yield : any
}
function* g4() {
>g4 : () => Generator<undefined, void, unknown>
yield; // ok, result is unused
>yield : any
yield, noop(); // ok, result is unused
>yield, noop() : void
>yield : any
>noop() : void
>noop : () => void
noop(), yield, noop(); // ok, result is unused
>noop(), yield, noop() : void
>noop(), yield : any
>noop() : void
>noop : () => void
>yield : any
>noop() : void
>noop : () => void
(yield); // ok, result is unused
>(yield) : any
>yield : any
(yield, noop()), noop(); // ok, result is unused
>(yield, noop()), noop() : void
>(yield, noop()) : void
>yield, noop() : void
>yield : any
>noop() : void
>noop : () => void
>noop() : void
>noop : () => void
for(yield; false; yield); // ok, results are unused
>yield : any
>false : false
>yield : any
void (yield); // ok, results are unused
>void (yield) : undefined
>(yield) : any
>yield : any
}
function* g5() {
>g5 : () => Generator<undefined, void, any>
f(yield); // error: implicit any
>f(yield) : void
>f : <T>(value: T) => void
>yield : any
}
function* g6() {
>g6 : () => Generator<undefined, void, string>
f<string>(yield); // ok, contextually typed by f<string>
>f<string>(yield) : void
>f : <T>(value: T) => void
>yield : any
}
|
