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
Implicit resolution with type aliases with phantom types doesn't work #10197
Comments
Imported From: https://issues.scala-lang.org/browse/SI-10197?orig=1 |
TomasMikula
added a commit
to TomasMikula/scala
that referenced
this issue
Sep 12, 2017
Can cause ambiguous implicits, so is under a compiler flag -Yhk-typevar-unification. Fixes scala/bug#10197 Fixes scala/bug#10213 Fixes scala/bug#10238 Fixes scala/bug#10372 Presents an alternative fix to scala/bug#6895.
TomasMikula
added a commit
to TomasMikula/scala
that referenced
this issue
Sep 14, 2017
Can cause ambiguous implicits, so is under a compiler flag -Yhk-typevar-unification. Fixes scala/bug#10197 Fixes scala/bug#10213 Fixes scala/bug#10238 Fixes scala/bug#10372 Presents an alternative fix to scala/bug#6895.
TomasMikula
added a commit
to TomasMikula/scala
that referenced
this issue
Sep 26, 2017
Can cause ambiguous implicits, so is under a compiler flag -Yhk-typevar-unification. Fixes scala/bug#10197 Fixes scala/bug#10213 Fixes scala/bug#10238 Fixes scala/bug#10372 Presents an alternative fix to scala/bug#6895.
TomasMikula
added a commit
to TomasMikula/scala
that referenced
this issue
Sep 27, 2017
Can cause ambiguous implicits, so is under a compiler flag -Yhk-typevar-unification. Fixes scala/bug#10197 Fixes scala/bug#10213 Fixes scala/bug#10238 Fixes scala/bug#10372 Presents an alternative fix to scala/bug#6895.
TomasMikula
added a commit
to TomasMikula/scala
that referenced
this issue
Sep 27, 2017
Can cause ambiguous implicits, so is under the compiler flag -Xsource:2.13 Fixes scala/bug#10185 Fixes scala/bug#10195 Fixes scala/bug#10197 Fixes scala/bug#10213 Fixes scala/bug#10238 Fixes scala/bug#10372 Presents an alternative fix to scala/bug#6895.
TomasMikula
added a commit
to TomasMikula/scala
that referenced
this issue
Sep 27, 2017
Can cause ambiguous implicits, so is under the compiler flag -Xsource:2.13 Fixes scala/bug#10185 Fixes scala/bug#10195 Fixes scala/bug#10197 Fixes scala/bug#10213 Fixes scala/bug#10238 Fixes scala/bug#10372 Presents an alternative fix to scala/bug#6895.
TomasMikula
added a commit
to TomasMikula/scala
that referenced
this issue
Sep 28, 2017
Can cause ambiguous implicits, so is under the compiler flag -Xsource:2.13 Fixes scala/bug#10185 Fixes scala/bug#10195 Fixes scala/bug#10197 Fixes scala/bug#10213 Fixes scala/bug#10238 Fixes scala/bug#10372 Presents an alternative fix to scala/bug#6895.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Note that it is the combination of type alias with phantom type parameter (type Bar[A] = String) and type lambda (Wr[Bar]#ap) that is problematic. Each of the three simpler cases works.
The text was updated successfully, but these errors were encountered: