Switch doesn't narrow type when type isn't a disc union

[aryzing]

🔎 Search Terms

discriminated union, switch

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about switch

⏯ Playground Link

https://www.typescriptlang.org/play/?target=99#code/C4TwDgpgBAYg9nKBeKBvKBLAJgLigcgDMF8AaKLAQ2Er3wCNKAnfKAXwCgBjOAOwGdgUYnDzxEKdNjoiyFarQKMW7Dh34B3DMC4ALKAAoRAOmwBKNByhQulftCIk86HgLgAbCMfdwA5gfwAW2o9fAtOaywIQkoAV3dgPGBdJjgNKF4IdIBRJlSmAwAiADlEYJ1dQvIXOPs8ESh+agx+QgwIfgyIADcIJnYzDjYgA

💻 Code

type Foo = { id: 'foo', data: 'bar' }
const foo: Foo = { id: 'foo', data: 'bar' }

switch (foo.id) {
  case 'foo': { console.log('match') }
  default: throw new Error("No match", { cause: foo satisfies never })
//                                                  ^^^^^^^^^
}

🙁 Actual behavior

Despite expecting the value to be of type never, it retains its original type.

🙂 Expected behavior

The value in the default branch should be typed as never.

Additional information about the issue

No response

[MartinJohns]

Duplicate of #13182.