File: typeParameterArgumentEquivalence2.symbols

package info (click to toggle)
node-typescript 3.3.3333-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 324,548 kB
  • sloc: makefile: 6; sh: 3
file content (25 lines) | stat: -rw-r--r-- 1,121 bytes parent folder | download | duplicates (5) 
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
 
=== tests/cases/compiler/typeParameterArgumentEquivalence2.ts ===
function foo<T,U>() {
>foo : Symbol(foo, Decl(typeParameterArgumentEquivalence2.ts, 0, 0))
>T : Symbol(T, Decl(typeParameterArgumentEquivalence2.ts, 0, 13))
>U : Symbol(U, Decl(typeParameterArgumentEquivalence2.ts, 0, 15))

    var x: (item: U) => boolean;
>x : Symbol(x, Decl(typeParameterArgumentEquivalence2.ts, 1, 7))
>item : Symbol(item, Decl(typeParameterArgumentEquivalence2.ts, 1, 12))
>U : Symbol(U, Decl(typeParameterArgumentEquivalence2.ts, 0, 15))

    var y: (item: T) => boolean;
>y : Symbol(y, Decl(typeParameterArgumentEquivalence2.ts, 2, 7))
>item : Symbol(item, Decl(typeParameterArgumentEquivalence2.ts, 2, 12))
>T : Symbol(T, Decl(typeParameterArgumentEquivalence2.ts, 0, 13))

    x = y;  // Should be an error
>x : Symbol(x, Decl(typeParameterArgumentEquivalence2.ts, 1, 7))
>y : Symbol(y, Decl(typeParameterArgumentEquivalence2.ts, 2, 7))

    y = x;  // Shound be an error
>y : Symbol(y, Decl(typeParameterArgumentEquivalence2.ts, 2, 7))
>x : Symbol(x, Decl(typeParameterArgumentEquivalence2.ts, 1, 7))
}