File: specialIntersectionsInMappedTypes.errors.txt

package info (click to toggle)
node-typescript 5.0.4%2Bds1-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 459,140 kB
  • sloc: javascript: 1,972,754; makefile: 6; sh: 1
file content (21 lines) | stat: -rw-r--r-- 659 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
tests/cases/compiler/specialIntersectionsInMappedTypes.ts(14,1): error TS18048: 'a.other' is possibly 'undefined'.


==== tests/cases/compiler/specialIntersectionsInMappedTypes.ts (1 errors) ====
    // Repro from #50683
    
    type Alignment = (string & {}) | "left" | "center" | "right";
    type Alignments = Record<Alignment, string>;
    
    const a: Alignments = {
        left: "align-left",
        center: "align-center",
        right: "align-right",
        other: "align-other",
    };
    
    a.left.length;
    a.other.length;  // Error expected here
    ~~~~~~~
!!! error TS18048: 'a.other' is possibly 'undefined'.