[notes] TypeScript 5.8 Checks Runtime Code for Conditional Types!

from blog Sympolymathesy, by Chris Krycho, | ↗ original
Historically, conditional types only gave you type safety on the caller side. Now, for a key subset, they give you safety within a function, too.