You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Stéphane Landelle (slandelle) said:
I raised the priority because I can't see a way for us to upgrade to Scala 2.12 for now.
Up until now, we were actually using an alias for "In" and we inadvertently didn't propagate the covariance.
This was probably a mistake, but still, it didn't the job here.
With Scala 2.12, we are now forced to propagate the variance to the alias, hence us hitting this problem.
Stéphane Landelle (slandelle) said:
Following my previous comment, I figured out that we can still use our ugly invariant type alias with @uncheckedVariance.
Still, it would be great to have a proper solution.
Hi,
The sample below fails to compile when In is covariant. It compiles when In is invariant.
Regards
The text was updated successfully, but these errors were encountered: