Bishwajit Jha

Results 4 comments of Bishwajit Jha

The Function parameters are contravariant, so it's hard to craft a constraint for this. I can't see a way that we can achieve this right now with the existing setup....

@Beraliv @tregusti I think it should work if we remove `Distribution` from the equation maybe it will **"resolve"** sooner? ```ts type Test = [T] extends number? Partial : Partial function...

I think it works if we remove `Distribution` from the equation and hence it will **"resolve"** sooner rather than at the instantiation step. ```ts type Test = [T] extends number?...

The compiler cannot determine assignability for conditional types when either `T` or `U` is not fully defined, preventing it from resolving `T extends U ? V : W`. Here's a...