Destructing assignment fail to implicit cast type #26804

enum Kind {
    Square = "square",
    Rectangle = "rectangle"
  }
  
  type Shape =
    | {
        kind: Kind.Square;
        size: number;
      }
    | {
        kind: Kind.Rectangle;
        width: number;
        height: number;
      };
  
  function area(s: Shape) {
    switch (s.kind) {
      case Kind.Square: {
        let b = s.size * s.size;
        break;
      }
      default: {
        let b = s.width * s.height;
        break;
      }
    }
  }
  
  function area2(s: Shape) {
    const { kind } = s;
    switch (kind) {
      case Kind.Square: {
        // [ts]
        // Property 'width' does not exist on type 'Shape'.
        // Property 'width' does not exist on type '{ kind: Kind.Square; size: number; }'.
        let b = s.size * s.size;
        break;
      }
      default: {
        // [ts]
        // Property 'width' does not exist on type 'Shape'.
        // Property 'width' does not exist on type '{ kind: Kind.Square; size: number; }'.
        let b = s.width * s.height;
        break;
      }
    }
  }