I guess it depends a bit on the variance of the ty...

# language-proposals

[okkero]

I guess it depends a bit on the variance of the types involved, and also on whether the used functions project the generic type parameters correctly