|
Scala example source code file (bug839.scala)
The Scala bug839.scala source code
// 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);
}
Other Scala examples (source code examples)Here is a short list of links related to this Scala bug839.scala source code file: |
| ... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.