Mateusz Burzyński comments

Results 1531 comments of


                                            Mateusz Burzyński

Fixed contextual types within generic tuple mapped types

Yep, it mentions this and related things

Remove missing type from tuple type arguments under `exactOptionalPropertyTypes`

I managed to clean some things further. Personally, I like the changes - some bits feel simpler to me now. Let me know what do you think.

Fixed `anyFunctionType` leak

This leak is quite specific to generic functions containing context-sensitive parts **when** other parts of the argument(s) are context-sensitive too. The problem is that the generic function itself is not...

Infer from filtering mapped types

@sandersn I think that the referenced issue already does that. The reason why I didn't tag this PR as closing that issue is that the examples there are using **renaming**...

Infer from filtering mapped types

@jakebailey could you create a playground for this one? :)

Infer from filtering mapped types

@jakebailey could you build a fresh playground for this one?

Infer from context sensitive return expressions

Ok, I think this one is in good shape for review. I've only made a small change to the code - I don't think it will impact any code in...

`silentNeverType` leak through return type inference

Come on, Ryan, I know you know I know you’re not a mere mortal. A shorter repro would be this: ```ts type Values = T[keyof T]; interface ParameterizedObject { type:...

Control flow analysis for destructured rests

Huh, I'll have to investigate what's happening with the self-check

Unwrap `NoInfer`-wrapped unions before conditional type distribution attempt

@jakebailey could you prepare a playground build for this one? :p