Ryan Cavanaugh
Ryan Cavanaugh
@rbuckton this looks like something we'll need to patch
Oops, I misread the version being tested
Previously at #2845 but we should revisit after so long
I like this idea 👍
@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...