Type never behaves differently when called from object method and top level function

[victormachado-ada-tech]

🔎 Search Terms

never object method not working

🕗 Version & Regression Information

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

⏯ Playground Link

https://www.typescriptlang.org/play?ts=5.2.2#code/GYVwdgxgLglg9mABMATnAtgFTgBwDICmAbgQDYBi4E8YAFAJQBciYxBKiA3gFCKJQALNAHcWBUQFEUaFLQDkAQwVz63AL7duEBAGcoiOACMAVogC8XXsjToA8iYLQGzViQ48+fQSLGTpcWUVlVT4NDW5QSFgEfgEYHQB1AIBrHWdEPRQYMABzSz5UDGx8NgoqGgZ1TUjoGlj4gBE4Ah0AOTgoJJRk9MzsvI8DEwA6QrsHJ1U1IA

💻 Code

function fromTopLevelFuncion(): never {
  throw new Error('aa')
}

const obj = {
  fromObject(): never {
    throw new Error('aa')
  }
}

function thisWorks(): string {
  fromTopLevelFuncion()
}

function thisDoesNotWork(): string {
  obj.fromObject()
}

🙁 Actual behavior

Somehow, when calling a method that returns never typescript does not handles control flow as we expect. There is nothing in the docs about the never type stating that difference in behavior would show up.

🙂 Expected behavior

Calling a method that returns never should have the same behavior as calling a top level function.

Additional information about the issue

No response

[IllusionMH]

Duplicate of #55154 and many other