blob: 4f7941082f236a25d68d99fc2b710eeca8ea2600 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
/* This one compiles, but even if we would have dependent
** constructor types, it would be not sound.
*/
class S4(a: Other) extends a.Inner() {
def foo(x: a.Inner) = x;
val b = new Other();
foo(new S4(b))
}
class Other() {
class Inner() {}
}
|
