File: noStrictGenericChecks.types

package info (click to toggle)
node-typescript 4.9.5%2Bds1-2
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 533,908 kB
  • sloc: javascript: 2,018,330; makefile: 7; sh: 1
file content (27 lines) | stat: -rw-r--r-- 424 bytes parent folder | download | duplicates (3) 
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
 
=== tests/cases/compiler/noStrictGenericChecks.ts ===
type A = <T, U>(x: T, y: U) => [T, U];
>A : <T, U>(x: T, y: U) => [T, U]
>x : T
>y : U

type B = <S>(x: S, y: S) => [S, S];
>B : <S>(x: S, y: S) => [S, S]
>x : S
>y : S

function f(a: A, b: B) {
>f : (a: A, b: B) => void
>a : A
>b : B

    a = b;  // Error disabled here
>a = b : B
>a : A
>b : B

    b = a;  // Ok
>b = a : A
>b : B
>a : A
}