blob: 1b1deb8dec750487625a2ef8a88280d510a6f466 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
class Outer {
class Inner {
class Inner2
}
}
class HasA { type A }
class Foo[A]
object Test {
def test = {
val a: Outer#Inner = {
val o = new Outer
new o.Inner
}
val b: Outer#Inner#Inner2 = {
val o = new Outer
val i = new o.Inner
new i.Inner2
}
val c: HasA { type A = Int } = {
val h = new HasA {
type A = Int
}
val x: HasA { type A = h.A } = h
x
}
val d: Foo[Int] = {
class Bar[B] extends Foo[B]
new Bar[Int]
}
val e: Foo[_] = {
class Bar[B] extends Foo[B]
new Bar[Int]: Bar[_ <: Int]
}
}
}
|