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/expressions/binaryOperators/logicalAndOperator/logicalAndOperatorWithTypeParameters.ts ===
// The && operator permits the operands to be of any type and produces a result of the same
// type as the second operand.
function foo<T, U, V/* extends T*/>(t: T, u: U, v: V) {
>foo : <T, U, V>(t: T, u: U, v: V) => void
>t : T
>u : U
>v : V
var r1 = t && t;
>r1 : T
>t && t : T
>t : T
>t : T
var r2 = u && t;
>r2 : T
>u && t : T
>u : U
>t : T
var r3 = v && t;
>r3 : T
>v && t : T
>v : V
>t : T
var r4 = t && u;
>r4 : U
>t && u : U
>t : T
>u : U
var r5 = u && u;
>r5 : U
>u && u : U
>u : U
>u : U
var r6 = v && u;
>r6 : U
>v && u : U
>v : V
>u : U
var r7 = t && v;
>r7 : V
>t && v : V
>t : T
>v : V
var r8 = u && v;
>r8 : V
>u && v : V
>u : U
>v : V
var r9 = v && v;
>r9 : V
>v && v : V
>v : V
>v : V
var a: number;
>a : number
var r10 = t && a;
>r10 : number
>t && a : number
>t : T
>a : number
}
|
