19 lines
420 B
Text
19 lines
420 B
Text
=== tests/cases/compiler/innerTypeArgumentInference.ts ===
|
|
interface Generator<T> { (): T; }
|
|
>Generator : Generator<T>
|
|
>T : T
|
|
>T : T
|
|
|
|
function Generate<U>(func: Generator<U>): U {
|
|
>Generate : <U>(func: Generator<U>) => U
|
|
>U : U
|
|
>func : Generator<U>
|
|
>Generator : Generator<T>
|
|
>U : U
|
|
>U : U
|
|
|
|
return Generate(func);
|
|
>Generate(func) : U
|
|
>Generate : <U>(func: Generator<U>) => U
|
|
>func : Generator<U>
|
|
}
|