blob: 8e2b3900d4caa662aab2cf141f433284b5d6defe (
plain) (
blame)
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 Application {
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] {
implicit val e: E[T] = null
new B[T]{}
}
}
|