diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-15 14:11:42 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-15 17:51:23 +0100 |
commit | 9b630fae0d3c772610a2c58d9dbb4b95710c8c68 (patch) | |
tree | 7eeab49973e1effc4d7abc2c3f7dc043d67487de /tests/pos-special | |
parent | ee76fda79d446a2d6db51cb4af032a8e92936013 (diff) | |
download | dotty-9b630fae0d3c772610a2c58d9dbb4b95710c8c68.tar.gz dotty-9b630fae0d3c772610a2c58d9dbb4b95710c8c68.tar.bz2 dotty-9b630fae0d3c772610a2c58d9dbb4b95710c8c68.zip |
Revise alias rules in type comparisons.
The fix solves two cases where we had a deep subtype before.
Diffstat (limited to 'tests/pos-special')
-rw-r--r-- | tests/pos-special/sets.scala | 11 | ||||
-rw-r--r-- | tests/pos-special/t2613.scala | 11 |
2 files changed, 0 insertions, 22 deletions
diff --git a/tests/pos-special/sets.scala b/tests/pos-special/sets.scala deleted file mode 100644 index 577d709f5..000000000 --- a/tests/pos-special/sets.scala +++ /dev/null @@ -1,11 +0,0 @@ -object Test { - - val subPatBinders = List[Symbol]() - - def extraStoredBinders: Set[Symbol] = ??? - - val storedBinders: Set[Symbol] = - (if (true) subPatBinders.toSet else Set.empty) ++ extraStoredBinders// -- ignoredSubPatBinders - - -} diff --git a/tests/pos-special/t2613.scala b/tests/pos-special/t2613.scala deleted file mode 100644 index c234d4c0d..000000000 --- a/tests/pos-special/t2613.scala +++ /dev/null @@ -1,11 +0,0 @@ -import language.existentials - -object Test { - class Row - - abstract class MyRelation [R <: Row, +Relation <: MyRelation[R, Relation]] - - type M = MyRelation[_ <: Row, _ <: MyRelation] - - val (x,y): (String, M) = null -} |