File: genericConstraintSatisfaction1.types

package info (click to toggle)
node-typescript 5.2.2-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 497,488 kB
  • sloc: javascript: 2,107,274; makefile: 6; sh: 1
file content (22 lines) | stat: -rw-r--r-- 479 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
//// [tests/cases/compiler/genericConstraintSatisfaction1.ts] ////

=== genericConstraintSatisfaction1.ts ===
interface I<S> {
   f: <T extends S>(x: T) => void
>f : <T extends S>(x: T) => void
>x : T
}
 
var x: I<{s: string}>
>x : I<{ s: string; }>
>s : string

x.f({s: 1})
>x.f({s: 1}) : void
>x.f : <T extends { s: string; }>(x: T) => void
>x : I<{ s: string; }>
>f : <T extends { s: string; }>(x: T) => void
>{s: 1} : { s: number; }
>s : number
>1 : 1