narrowing doesn't work

latest nightly build as of October 6, 2016:

interface A { kind: 'A'; a: number; }
interface B { kind: 'B'; b: number; }
type AB = A | B;
export function toResult<Z extends { kind: K; }, K extends string>(
    value: AB | Z,
    orElse: (value: Z) => number
): number {
    switch (value.kind) {
        case 'A': return value.a; // <-- problem, value isn't narrowed to A
        case 'B': return value.b;
        default: return orElse(value);
    }
}

despite #10417 (comment)

I don't think this is a bug. We don't know for sure that Z's kind property isn't 'A' or 'B' (it could basically be any string value), so we can't safely narrow to A or B in the switch cases.

i see your point, negating type constraints (#7993) could have guaranteed that Z.kind is neither A nor B:

export function toResult<Z extends { kind: K; }, K extends string unlike 'A', 'B'>(

Navigation Menu

Repository navigation

narrowing doesn't work #11433

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

narrowing doesn't work #11433

Description

Activity

zpdDG4gta8XKpMCd commented on Oct 7, 2016

ahejlsberg commented on Oct 13, 2016

zpdDG4gta8XKpMCd commented on Oct 13, 2016

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions