1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
=== tests/cases/conformance/types/contextualTypes/logicalAnd/contextuallyTypeLogicalAnd03.ts ===
let x: (a: string) => string;
>x : Symbol(x, Decl(contextuallyTypeLogicalAnd03.ts, 0, 3))
>a : Symbol(a, Decl(contextuallyTypeLogicalAnd03.ts, 0, 8))
let y = true;
>y : Symbol(y, Decl(contextuallyTypeLogicalAnd03.ts, 1, 3))
x = (a => a) && (b => b);
>x : Symbol(x, Decl(contextuallyTypeLogicalAnd03.ts, 0, 3))
>a : Symbol(a, Decl(contextuallyTypeLogicalAnd03.ts, 3, 5))
>a : Symbol(a, Decl(contextuallyTypeLogicalAnd03.ts, 3, 5))
>b : Symbol(b, Decl(contextuallyTypeLogicalAnd03.ts, 3, 17))
>b : Symbol(b, Decl(contextuallyTypeLogicalAnd03.ts, 3, 17))
|
