blob: 5bf532f8dd6fb468563c17fdf4027990488af2e0 (
plain) (
tree)
|
|
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);
}
|