Implicit conversions fail when overriding implicit val from super trait #6780
Comments
|
Imported From: https://issues.scala-lang.org/browse/SI-6780?orig=1 |
|
@paulp said: import scala.concurrent.duration._
trait Foo { implicit val v: Duration = 1.seconds }
trait Bar1 extends Foo { override implicit val v = 2.seconds } // fails
trait Bar2 extends Foo { override implicit val v: Duration = 2.seconds } // compiles |
|
@retronym said: object O {
implicit def i: Int = 0
}
import O._
trait Foo {
implicit val v1: Any
implicit val d1: Any
val v2: Any
implicit val v3: Any
}
trait Bar1 extends Foo {
implicit val v1 = {implicitly[Int]; ()} // fail
def d1 = {implicitly[Int]; ()} // okay
implicit val v2 = {implicitly[Int]; ()} // okay
implicit val v3: Any = {implicitly[Int]; ()} // okay
}
|
|
@retronym said: |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Consider this:
{code}import scala.concurrent.duration._
trait Foo { implicit val timeout = 1 second }
trait Bar extends Foo { implicit override val timeout = 2 seconds }
Welcome to Scala version 2.10.0-RC3 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_37).
Type in expressions to have them evaluated.
Type :help for more information.
scala> :load foo.scala
Loading foo.scala...
import scala.concurrent.duration._
warning: there were 1 feature warnings; re-run with -feature for details
defined trait Foo
:11: error: value seconds is not a member of Int
trait Bar extends Foo { implicit override val timeout = 2 seconds }
^
{code}
When the implicit keyword is removed from the overridden val, the implicit conversion works properly.
The text was updated successfully, but these errors were encountered: