Mateusz Burzyński
Mateusz Burzyński
To be clear, I don't necessarily say I love it either 😉
@matheo please share a runnable repro case of the problem. It's hard to tell what you are observing based on a code slice.
A more proper minimal repro case for this would be something like this: [TS playground](https://www.typescriptlang.org/play/?ts=5.9.0-dev.20250525#code/C4TwDgpgBAggxsAlgewHYDECuqEtQHgBUAFAQwCdSBbAZwBopD4k0A+KAXigAoAoKKGArUaALkZlKtOvygRUAR3HdSuNOKZrUASk7sAbskQATGbo4GjxgNy9exiHAA2FaADNsWuYswRfzPBoiALY+ATdUZXklHlUWSMYQnT0oQxNzSxMzcSSsHHj8UlQQBk141lt7Rxdyd094qBoIYEwwIjkAD2B5YxooACVHZHJjfBpgckRUAHMGIpBWVm4Ab1k4wJkAX3FVgXW0MShdgSgAbQBpKCmoAGsIEGQ3RgBdHK08rSIL59LTu4enoRnhVZJtbJttOI0jY7E0WmAVmstIdjgJprVmsohFIUVBUNQIOJxpMZlAISllpsZCcoMZkABlZBUZoACym03E0V8-mR3G40QyR1kNOiiJpNNAkHEACJ0RBmtLqeKIZVxd4FGK1VAAPTaqAAAWANAAtBAOpAEKbyORhsLxZLCVBpXSIH1UMhgJ1EONFXaBCq7RClVTeAGgA). As we can see, as soon as we start relying on `T[K]` as a whole...
The code-syncing algorithm is being rewritten and we should release the new version soon. I'm QAing it extensively right now. As far as I know that rewrite should fix this...
It feels like a duplicate of https://github.com/microsoft/TypeScript/issues/60006 . However, the experiment from https://github.com/microsoft/TypeScript/pull/60036 doesn't help this case. When combining union signatures with type parameters those have to be identical. They...
@andyfleming u might have forgotten to push some files there
That's not what it was asked for here. A short repro would be a self-isolated one, preferably within a single file. It shouldn't rely on massive external packages
The best thing you could provide is a self-isolated repro of the problem. This one still depends on an external library, one that has a lot of unrelated (to the...
This is great and way more actionable. Thanks ❤ I'll investigate this in the coming days
My preliminary findings... This is a type ordering issue. The type arguments are being normalized and thus simplified. `getTrueTypeFromConditionalType` in `getSimplifiedConditionalType` leads to relating `[...UnionToTuple, UnionLast]` source to `TLiteral`. Here:...