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
[error] -- [E057] TypeMismatchError:Test.scala:9:9
[error] 9|caseC1(_) => println(1)
[error] |^
[error] |Type argument T does not conform to upper bound String
Expectation
Used to compile just fine with 2.11/2.12/2.13.
The text was updated successfully, but these errors were encountered:
BTW this doesn't seem to be about type arguments to .unapply, I thought that P was covariant but it is in fact invariant. I'm looking into it right now, but it seems that the problem here is instead that the context no longer has GADT constraints when it checks that .unapply has correct type arguments.
Compiler version
3.0.0-RC3
Minimized code
Output
Expectation
Used to compile just fine with 2.11/2.12/2.13.
The text was updated successfully, but these errors were encountered: