blob: aab52b2cb74d32737f2d7e85f768bbd9ae9974c1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
object Test3 {
import scala.reflect.Selectable.reflectiveSelectable
def g(x: { type T ; def t: T ; def f(a: T): Boolean }) = x.f(x.t) // error: no ClassTag for x.T
g(new { type T = Int; def t = 4; def f(a:T) = true })
g(new { type T = Any; def t = 4; def f(a:T) = true })
val y: { type T = Int; def t = 4; def f(a:T) = true }
= new { type T = Int; def t = 4; def f(a:T) = true }
def h(x: { def f[T](a: T): Int }) = x.f[Int](4) // error: polymorphic refinement method ... no longer allowed
}
|
