Ryan Cavanaugh

Results 449 comments of Ryan Cavanaugh
trafficstars

@rbuckton this looks like something we'll need to patch

@ljwagerfield it sounds like you should turn on the `noImplicitReturns` flag, which does exactly that?

> Would it be possible to get some insight from language designers on what this is trying to protect us from You get this error any time the declaration emitter...

This (at time of writing) works: ```ts type Expand = T extends unknown ? { [K in keyof T]: T[K] } : never; type Out = Expand; ```

We don't provide any guarantees on "type representation". It's sometimes necessary to change the simplification rules (in either direction) for performance or correctness reasons.

> Barring some unforeseen consequence I have incredibly bad news... 😅. Every time we touch this thing something breaks. Happy to take a PR to try, though.

This behavior falls out of the inference rules and it's not clear to me which one could be changed given the current type mechanics available. `runtimeInitialVariable_2 ` would have need...