Ryan Cavanaugh
Ryan Cavanaugh
@rbuckton Any thoughts?
OP for this one is #44589 where there are many people complaining that it's not possible. Unfortunately, people are just noting that the issue has been open for X amount...
> Also maybe this have later impact on catch argument type to actually know throw types This doesn't really work unless you have a level of information that doesn't exist...
"What if TS had typed/checked exceptions" is off-topic here; this is not a place to re-enact #13219
Not quite sure what to do with this. It's obviously safe to maintain the predicateness when the asserted type in every signature is identical. But only *identical* identical (i.e. mutual...
Also worth linking #9 since it covers basically the same use cases
Need to write up the status of this one
Tracking at #47679 now
We're working on this, albeit slowly. tsserver's implementation predates LSP so it's nontrivial work to move forward in a way that doesn't adversely affect old clients or result in code...
Prior feedback was that people felt that something with a default should be thought of as "not ever undefined" and that's the current logic. There's a lot of different interpretations...