AnyhowStep

Silly question but, Will this also narrow ~`T`~ `x` to `"t"` and `"f"`? What about the more generalized narrowing of `T` from an arbitrary discriminated union type? ----- Taking @keithlayne...

My bad. I meant narrow x. Sorry! Brain fart

I think I just ran into this issue with this snippet, ```ts type Foo = { a : number, b : number, }; type Bar = { a : number,...

Just thought I'd bring up another approach to "human-readability", ```ts type UnionKeys = T extends unknown ? keyof T : never; type InvalidKeys = { [P in K]? : never...

I've found that trying to expand/compute a type can make TS forget that the type is assignable to another type. That problem seems to occur more often with more complex...