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
|
=== tests/cases/compiler/nonNullParameterExtendingStringAssignableToString.ts ===
declare function foo(p: string): void;
>foo : (p: string) => void
>p : string
function fn<T extends string | undefined, U extends string>(one: T, two: U) {
>fn : <T extends string | undefined, U extends string>(one: T, two: U) => void
>one : T
>two : U
let three = Boolean() ? one : two;
>three : T | U
>Boolean() ? one : two : T | U
>Boolean() : boolean
>Boolean : BooleanConstructor
>one : T
>two : U
foo(one!);
>foo(one!) : void
>foo : (p: string) => void
>one! : string
>one : string | undefined
foo(two!);
>foo(two!) : void
>foo : (p: string) => void
>two! : U
>two : U
foo(three!); // this line is the important one
>foo(three!) : void
>foo : (p: string) => void
>three! : string
>three : string | undefined
}
|
