diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-17 18:05:57 +0100 |
---|---|---|
committer | Tobias Schlatter <tobias@meisch.ch> | 2014-03-21 11:28:30 +0100 |
commit | 0a1ec31c2a17c5dd0e6bd363979cbf17a8860616 (patch) | |
tree | 7ccdd57d90d231cc11f396f767044809e53d86e8 /tests/untried/pos | |
parent | 7820e62e30a63f2b8fd6b8bab8f96be6924a63a1 (diff) | |
download | dotty-0a1ec31c2a17c5dd0e6bd363979cbf17a8860616.tar.gz dotty-0a1ec31c2a17c5dd0e6bd363979cbf17a8860616.tar.bz2 dotty-0a1ec31c2a17c5dd0e6bd363979cbf17a8860616.zip |
Fix of t112606A - path dependent types
Needed an extra case in isSubType.
Diffstat (limited to 'tests/untried/pos')
-rw-r--r-- | tests/untried/pos/t112606A.scala | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/tests/untried/pos/t112606A.scala b/tests/untried/pos/t112606A.scala deleted file mode 100644 index 5bf532f8d..000000000 --- a/tests/untried/pos/t112606A.scala +++ /dev/null @@ -1,25 +0,0 @@ -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); -} |