Issue narrowing tagged unions with temporary const #31037

interface Square {
    kind: 'square';
    size: number;
}
interface Circle {
    kind: 'circle';
    radius: number;
}
type Shape = Square | Circle;

// works as expected (s.kind) does the correct narrowing
function areaWorking(s: Shape) {
    switch (s.kind) {
        case 'square': return s.size * s.size;
        case 'circle': return Math.PI * s.radius ** 2;
    }
}

// When saving s.kind to a const variable, narrowing does not work
function area(s: Shape) {
    const {kind} = s; // same as const kind = s.kind;
    switch (kind) {
        case 'square': return s.size * s.size; // Property 'size' does not exist on type [Shape|Circle].
        case 'circle': return Math.PI * s.radius ** 2; // Property 'radius' does not exist on type [Shape|Square].
    }
}