diff options
author | Martin Odersky <odersky@gmail.com> | 2006-12-01 16:32:05 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-12-01 16:32:05 +0000 |
commit | 4f6a14b33d664dede92b8d7063d7cd437023d987 (patch) | |
tree | 56aca630fd98a8be62798e52b6f03900d4166275 /test/files/neg/bug839.scala | |
parent | 8a9719c222b39a35b70fef7b5eb56c842fa2cea0 (diff) | |
download | scala-4f6a14b33d664dede92b8d7063d7cd437023d987.tar.gz scala-4f6a14b33d664dede92b8d7063d7cd437023d987.tar.bz2 scala-4f6a14b33d664dede92b8d7063d7cd437023d987.zip |
updated tests.
Diffstat (limited to 'test/files/neg/bug839.scala')
-rw-r--r-- | test/files/neg/bug839.scala | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/test/files/neg/bug839.scala b/test/files/neg/bug839.scala new file mode 100644 index 0000000000..d845ed3aae --- /dev/null +++ b/test/files/neg/bug839.scala @@ -0,0 +1,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); +} |