blob: d845ed3aaef53abcb46ebeac04f2b9b430779c74 (
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/bug112606A.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);
}
|