From 9b630fae0d3c772610a2c58d9dbb4b95710c8c68 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 15 Dec 2015 14:11:42 +0100 Subject: Revise alias rules in type comparisons. The fix solves two cases where we had a deep subtype before. --- tests/pos-special/sets.scala | 11 ----------- tests/pos-special/t2613.scala | 11 ----------- 2 files changed, 22 deletions(-) delete mode 100644 tests/pos-special/sets.scala delete mode 100644 tests/pos-special/t2613.scala (limited to 'tests/pos-special') 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 -} -- cgit v1.2.3