blob: 72f6ca0ec96433892b153986dd71d836635a3bd4 (
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
|
// see pending/pos/t112606A.scala
package test;
trait Test {
trait Global {
type Tree;
def get : Tree;
}
trait TreeBuilder {
val global : Global;
def set(tree : global.Tree) = {}
}
val nsc : Global;
trait FileImpl {
object treeBuilder extends TreeBuilder {
val global : nsc.type = nsc;
}
// OK
treeBuilder.set(nsc.get);
}
val file0 : FileImpl;
// OK
file0.treeBuilder.set(nsc.get);
def file : FileImpl;
// type mismatch
file.treeBuilder.set(nsc.get);
}
|