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
|
=== tests/cases/compiler/genericInterfaceImplementation.ts ===
interface IOption<A> {
>IOption : IOption<A>
>A : A
get(): A;
>get : () => A
>A : A
flatten<B>(): IOption<B>;
>flatten : <B>() => IOption<B>
>B : B
>IOption : IOption<A>
>B : B
}
class None<T> implements IOption<T>{
>None : None<T>
>T : T
>IOption : IOption<A>
>T : T
get(): T {
>get : () => T
>T : T
throw null;
>null : null
}
flatten<U>() : IOption<U> {
>flatten : <U>() => IOption<U>
>U : U
>IOption : IOption<A>
>U : U
return new None<U>();
>new None<U>() : None<U>
>None : typeof None
>U : U
}
}
|
