New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Type mismatch: apparent regression in LUBs #8224
Comments
Imported From: https://issues.scala-lang.org/browse/SI-8224?orig=1 |
Sonnenschein (sonnenschein) said: |
@retronym said: |
@retronym said: |
@retronym said (edited on Feb 1, 2014 4:19:21 PM UTC): import language.higherKinds
trait P [N1, +E1[X <: N1]]
trait PIn[N2, +E2[X <: N2]] extends P[Int,Any]
trait EI extends PIn[Int, Nothing]
trait NI extends PIn[Int, Nothing]
object Test {
val lub = if (true) ??? : EI else ??? : NI
val pin: PIn[Int,Nothing] = lub
} |
@retronym said:
|
@retronym said: |
@retronym said (edited on Feb 1, 2014 5:20:07 PM UTC): https://github.com/retronym/scala/tree/ticket/8224 /cc Adriaan for post-factum review of the original change. I don't think its too hard to refine Paul's approach a bit more, but if you decide to go another way I can save the effort. |
@adriaanm said: |
The following did compile with 2.10 but now "type mismatch" is reported:
For me it would suffice to adequately alter the method definition without any change in signatures.
The text was updated successfully, but these errors were encountered: