File: typeSatisfaction_vacuousIntersectionOfContextualTypes.types

package info (click to toggle)
node-typescript 5.1.6%2Bds1-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 492,516 kB
  • sloc: javascript: 2,078,951; makefile: 6; sh: 1
file content (15 lines) | stat: -rw-r--r-- 507 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
=== tests/cases/conformance/expressions/typeSatisfaction/typeSatisfaction_vacuousIntersectionOfContextualTypes.ts ===
const a: "baz" = "foo" satisfies "foo" | "bar";
>a : "baz"
>"foo" satisfies "foo" | "bar" : "foo"
>"foo" : "foo"

const b: { xyz: "baz" } = { xyz: "foo" } satisfies { xyz: "foo" | "bar" };
>b : { xyz: "baz"; }
>xyz : "baz"
>{ xyz: "foo" } satisfies { xyz: "foo" | "bar" } : { xyz: "foo"; }
>{ xyz: "foo" } : { xyz: "foo"; }
>xyz : "foo"
>"foo" : "foo"
>xyz : "foo" | "bar"