1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
specialIntersectionsInMappedTypes.ts(14,1): error TS18048: 'a.other' is possibly 'undefined'.
==== 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'.
|
