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 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95
|
=== tests/cases/conformance/types/specifyingTypes/typeReferences/genericTypeReferenceWithoutTypeArgument.ts ===
// it is an error to use a generic type without type arguments
// all of these are errors
class C<T> {
>C : C<T>
foo: T;
>foo : T
}
var c: C;
>c : any
var a: { x: C };
>a : { x: any; }
>x : any
var b: { (x: C): C };
>b : (x: any) => any
>x : any
var d: { [x: C]: C };
>d : {}
>x : any
var e = (x: C) => { var y: C; return y; }
>e : (x: any) => any
>(x: C) => { var y: C; return y; } : (x: any) => any
>x : any
>y : any
>y : any
function f(x: C): C { var y: C; return y; }
>f : (x: any) => any
>x : any
>y : any
>y : any
var g = function f(x: C): C { var y: C; return y; }
>g : (x: any) => any
>function f(x: C): C { var y: C; return y; } : (x: any) => any
>f : (x: any) => any
>x : any
>y : any
>y : any
class D extends C {
>D : D
>C : typeof C
}
interface I extends C {}
module M {
>M : typeof M
export class E<T> { foo: T }
>E : E<T>
>foo : T
}
class D2 extends M.E { }
>D2 : D2
>M.E : typeof M.E
>M : typeof M
>E : typeof M.E
class D3<T extends M.E> { }
>D3 : D3<T>
>M : any
interface I2 extends M.E { }
>M : typeof M
function h<T extends C>(x: T) { }
>h : <T extends any>(x: T) => void
>x : T
function i<T extends M.E>(x: T) { }
>i : <T extends any>(x: T) => void
>M : any
>x : T
var j = <C>null;
>j : any
><C>null : any
>null : null
var k = <M.E>null;
>k : any
><M.E>null : any
>M : any
>null : null
|