Discriminated union does not narrow based on falsy conditional #27059

interface True {
    value: true;
    trueString: string;
}
interface False {
    value: false;
    falseString: string;
}

type TrueOrFalse = True | False;
let x: TrueOrFalse;

if (!x.value) {
    // DOES NOT COMPILE:
    // Property 'falseString' does not exist on type 'TrueOrFalse'.
    //   Property 'falseString' does not exist on type 'True'.
    x.falseString;
}

if (x.value) {
    x.trueString;
} else {
    // SAME ERROR AS ABOVE
    x.falseString;
}

if (x.value === false) {
    // WORKS
    x.falseString;
}

if (x.value === true) {
    x.trueString;
} else {
    // WORKS
    x.falseString;
}