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
The following reduced test case exhibits the problem:
import scala.language.higherKinds import scala.{specialized => sp} trait TC[M[_], @sp(Int) A] object Compiles { def f2[M[_], A](implicit ev: TC[M, A]): M[A] = ??? def f1[M[_], A](implicit ev: TC[M, A]): M[A] = f2[M, A](ev) } object CompilesNot { def f2[M[_], @sp(Int) A](implicit ev: TC[M, A]): M[A] = ??? def f1[M[_], @sp(Int) A](implicit ev: TC[M, A]): M[A] = f2[M, A](ev) }
and fails to compile with:
[info] Compiling 1 Scala source to ... [error] test.scala:14: type mismatch; [error] found : TC[M[_],Int] [error] required: TC[M,Int] [error] def f1[M[_], @sp(Int) A](implicit ev: TC[M, A]): M[A] = f2[M, A](ev) [error] ^ [error] one error found [error] (compile:compile) Compilation failed [error] Total time: 3 s, completed Mar 16, 2015 12:41:42 PM
The text was updated successfully, but these errors were encountered:
Imported From: https://issues.scala-lang.org/browse/SI-9227?orig=1 Reporter: Denis Rosset (denisrosset) Affected Versions: 2.11.6
Sorry, something went wrong.
The following reduced test case exhibits the problem: import scala.language.higherKinds import scala.{specialized => sp} trait TC[M[_], @sp(Int) A] object Compiles { def f2[M[_], A](implicit ev: TC[M, A]): M[A] = ??? def f1[M[_], A](implicit ev: TC[M, A]): M[A] = f2[M, A](ev) } object CompilesNot { def f2[M[_], @sp(Int) A](implicit ev: TC[M, A]): M[A] = ??? def f1[M[_], @sp(Int) A](implicit ev: TC[M, A]): M[A] = f2[M, A](ev) } and fails to compile with: [info] Compiling 1 Scala source to ... [error] test.scala:14: type mismatch; [error] found : TC[M[_],Int] [error] required: TC[M,Int] [error] def f1[M[_], @sp(Int) A](implicit ev: TC[M, A]): M[A] = f2[M, A](ev) [error] ^ [error] one error found [error] (compile:compile) Compilation failed [error] Total time: 3 s, completed Mar 16, 2015 12:41:42 PM
@HANNAH1234473 works in recent nightly build (2.13.5-bin-b5f244f)
joroKr21
Successfully merging a pull request may close this issue.
The following reduced test case exhibits the problem:
and fails to compile with:
The text was updated successfully, but these errors were encountered: