blob: fcfc9592b9a62fc5f5834f631de5bbfae141c653 (
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
|
class Test {
class Base {
class Inner
}
type A <: Base {
type X = String // old-error
}
type B <: {
type X = Int // old-error
}
lazy val o: A & B = ???
class Client extends o.Inner // old-error // old-error
def xToString(x: o.X): String = x // old-error
def intToString(i: Int): String = xToString(i)
}
object Test2 {
import Test.o._ // error
def xToString(x: X): String = x
}
|