Reassigned types ignored after return

[oliver-ni]

Bug Report

🔎 Search Terms

• return
• early return

🕗 Version & Regression Information

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

⏯ Playground Link

Playground Link

💻 Code

const a = (s: string) => {}

const b = (s: string | number) => {
  s = "";
  return;
  a(s);  // <- Error occurs here (type 'number' is not assignable to type 'string')
}

const c = (s: string | number) => {
  s = "";
  a(s);  // <- No error here
}

🙁 Actual behavior

On the line a(s); in the function b:

Argument of type 'string | number' is not assignable to parameter of type 'string'.
  Type 'number' is not assignable to type 'string'.

Type error is thrown even though s is reassigned as a string before the call.

🙂 Expected behavior

No type error.

Without the return, as in the function c, everything works as expected.

Not sure whether this is intended or not, but seems like a bug to me. Thanks!

[RyanCavanaugh]

See #26914

[oliver-ni]

Ahh, thanks. Missed that.