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
|
=== tests/cases/compiler/controlFlowCommaExpressionAssertionWithinTernary.ts ===
declare function assert(value: any): asserts value;
>assert : (value: any) => asserts value
>value : any
function foo2(param: number | null | undefined): number | null {
>foo2 : (param: number | null | undefined) => number | null
>param : number | null | undefined
>null : null
>null : null
const val = param !== undefined;
>val : boolean
>param !== undefined : boolean
>param : number | null | undefined
>undefined : undefined
return val ? (assert(param !== undefined), param) : null;
>val ? (assert(param !== undefined), param) : null : number | null
>val : boolean
>(assert(param !== undefined), param) : number | null
>assert(param !== undefined), param : number | null
>assert(param !== undefined) : void
>assert : (value: any) => asserts value
>param !== undefined : boolean
>param : number | null
>undefined : undefined
>param : number | null
>null : null
// ^^^^^ Still typed as number | null | undefined
}
|
