We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
I expect the following code to compile without errors:
trait Elem { type Peer } trait Impl[E[~] <: Elem {type Peer = ~}] { def foo[R](peer: E[R]#Peer) foo[Int](??? : E[Int]#Peer) }
Instead, an error is given that:
Error:(12, 18) type mismatch; found : this.scala.Peer (which expands to) Int required: this.Peer(in method foo) (which expands to) R foo[Int](??? : E[Int]#Peer) ^^
It looks as if the variable R is not getting substituted in the structural refinement part of the type.
R
This comes from http://stackoverflow.com/questions/28945416/type-mismatch-with-type-projection
The text was updated successfully, but these errors were encountered:
Imported From: https://issues.scala-lang.org/browse/SI-9222?orig=1 Reporter: Owen Healy (ellbur) Affected Versions: 2.11.6
Sorry, something went wrong.
Reverted
Successfully merging a pull request may close this issue.
I expect the following code to compile without errors:
Instead, an error is given that:
It looks as if the variable
R
is not getting substituted in the structural refinement part of the type.This comes from http://stackoverflow.com/questions/28945416/type-mismatch-with-type-projection
The text was updated successfully, but these errors were encountered: