blob: 086c474a370f646e82067d1327ad0b88104f9089 (
plain) (
tree)
|
|
object Test extends Application {
trait A
trait B extends A
trait C {
type U
trait D { type T >: B <: A }
val y: (D with U)#T = new B { }
}
class D extends C {
trait E
trait F { type T = E }
type U = F
def frob(arg : E) : E = arg
frob(y)
}
new D
}
|