1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
class T[A](implicit val m:Manifest[A]) class Foo class Bar extends T[Foo] object Test extends dotty.runtime.LegacyApp { new Bar } object EvidenceTest { trait E[T] trait A[T] { implicit val e: E[T] = null } class B[T : E] extends A[T] { override val e = null } def f[T]: Unit = { implicit val e: E[T] = null new B[T]{} } }