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 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141
|
=== tests/cases/compiler/lambdaParamTypes.ts ===
interface MyArrayWrapper<T> {
>MyArrayWrapper : Symbol(MyArrayWrapper, Decl(lambdaParamTypes.ts, 0, 0))
>T : Symbol(T, Decl(lambdaParamTypes.ts, 0, 25))
constructor(initialItems?: T[]);
>constructor : Symbol(MyArrayWrapper.constructor, Decl(lambdaParamTypes.ts, 0, 29))
>initialItems : Symbol(initialItems, Decl(lambdaParamTypes.ts, 1, 16))
>T : Symbol(T, Decl(lambdaParamTypes.ts, 0, 25))
doSomething(predicate: (x: T, y: T) => string): void;
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>predicate : Symbol(predicate, Decl(lambdaParamTypes.ts, 2, 16))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 2, 28))
>T : Symbol(T, Decl(lambdaParamTypes.ts, 0, 25))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 2, 33))
>T : Symbol(T, Decl(lambdaParamTypes.ts, 0, 25))
}
declare function create<T>(initialValues?: T[]): MyArrayWrapper<T>;
>create : Symbol(create, Decl(lambdaParamTypes.ts, 3, 1))
>T : Symbol(T, Decl(lambdaParamTypes.ts, 5, 24))
>initialValues : Symbol(initialValues, Decl(lambdaParamTypes.ts, 5, 27))
>T : Symbol(T, Decl(lambdaParamTypes.ts, 5, 24))
>MyArrayWrapper : Symbol(MyArrayWrapper, Decl(lambdaParamTypes.ts, 0, 0))
>T : Symbol(T, Decl(lambdaParamTypes.ts, 5, 24))
var thing = create([{ name: "bob", id: 24 }, { name: "doug", id: 32 }]);
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>create : Symbol(create, Decl(lambdaParamTypes.ts, 3, 1))
>name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 21))
>id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 34))
>name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 46))
>id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 60))
// Below should all be OK
thing.doSomething((x, y) => x.name.charAt(0)); // x.name should be string, so should be OK
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 10, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 10, 21))
>x.name.charAt : Symbol(String.charAt, Decl(lib.es5.d.ts, --, --))
>x.name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 21))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 10, 19))
>name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 21))
>charAt : Symbol(String.charAt, Decl(lib.es5.d.ts, --, --))
thing.doSomething((x, y) => x.id.toExponential(0)); // x.id should be string, so should be OK
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 11, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 11, 21))
>x.id.toExponential : Symbol(Number.toExponential, Decl(lib.es5.d.ts, --, --))
>x.id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 34))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 11, 19))
>id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 34))
>toExponential : Symbol(Number.toExponential, Decl(lib.es5.d.ts, --, --))
thing.doSomething((x, y) => y.name.charAt(0)); // x.name should be string, so should be OK
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 12, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 12, 21))
>y.name.charAt : Symbol(String.charAt, Decl(lib.es5.d.ts, --, --))
>y.name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 21))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 12, 21))
>name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 21))
>charAt : Symbol(String.charAt, Decl(lib.es5.d.ts, --, --))
thing.doSomething((x, y) => y.id.toExponential(0)); // x.id should be string, so should be OK
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 13, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 13, 21))
>y.id.toExponential : Symbol(Number.toExponential, Decl(lib.es5.d.ts, --, --))
>y.id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 34))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 13, 21))
>id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 34))
>toExponential : Symbol(Number.toExponential, Decl(lib.es5.d.ts, --, --))
// Below should all be in error
thing.doSomething((x, y) => x.foo); // no such property on x
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 16, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 16, 21))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 16, 19))
thing.doSomething((x, y) => y.foo); // no such property on y
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 17, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 17, 21))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 17, 21))
thing.doSomething((x, y) => x.id.charAt(0)); // x.id should be number, no charAt member
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 18, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 18, 21))
>x.id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 34))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 18, 19))
>id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 34))
thing.doSomething((x, y) => x.name.toExponential(0)); // x.name should be string, no toExponential member
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 19, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 19, 21))
>x.name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 21))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 19, 19))
>name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 21))
thing.doSomething((x, y) => y.id.charAt(0));
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 20, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 20, 21))
>y.id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 34))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 20, 21))
>id : Symbol(id, Decl(lambdaParamTypes.ts, 7, 34))
thing.doSomething((x, y) => y.name.toExponential(0));
>thing.doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>thing : Symbol(thing, Decl(lambdaParamTypes.ts, 7, 3))
>doSomething : Symbol(MyArrayWrapper.doSomething, Decl(lambdaParamTypes.ts, 1, 36))
>x : Symbol(x, Decl(lambdaParamTypes.ts, 21, 19))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 21, 21))
>y.name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 21))
>y : Symbol(y, Decl(lambdaParamTypes.ts, 21, 21))
>name : Symbol(name, Decl(lambdaParamTypes.ts, 7, 21))
|