This is a very insightful article on yet another way TS fails to understand the logic of the code that has been written and apply checks based on the context.

i agree with you on this 1,000%

I wrote about this 2 years ago: https://betterprogramming.pub/defensive-programming-and-the-use-of-typescript-cd7f9d86833b