blob: 42c3a15a854750ab2a7f011fd8d63e8eb6f8167c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
object Test
{
trait Foo { type T }
object FooX extends Foo { type T = X; trait X }
def test(x : Foo { type T = FooX.X }) = {}
def main(argv : Array[String]) : Unit = {
test(FooX)
}
}
|