File: compareTypeParameterConstrainedByLiteralToLiteral.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 (20 lines) | stat: -rw-r--r-- 435 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
//// [tests/cases/compiler/compareTypeParameterConstrainedByLiteralToLiteral.ts] ////

=== compareTypeParameterConstrainedByLiteralToLiteral.ts ===
// Test for #26758

function foo<T extends "a" | "b">(t: T) {
>foo : <T extends "a" | "b">(t: T) => void
>t : T

    t === "a";  // Should be allowed
>t === "a" : boolean
>t : T
>"a" : "a"

    t === "x";  // Should be error
>t === "x" : boolean
>t : T
>"x" : "x"
}