aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t7285a.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t7285a.scala')
-rw-r--r--tests/pending/pos/t7285a.scala83
1 files changed, 0 insertions, 83 deletions
diff --git a/tests/pending/pos/t7285a.scala b/tests/pending/pos/t7285a.scala
deleted file mode 100644
index 34e79c741..000000000
--- a/tests/pending/pos/t7285a.scala
+++ /dev/null
@@ -1,83 +0,0 @@
-sealed abstract class Base
-
-object Test {
- case object Up extends Base
-
- def foo(d1: Base) =
- d1 match {
- case Up =>
- }
-
- // Sealed subtype: ModuleTypeRef <empty>.this.Test.Up.type
- // Pattern: UniqueThisType Test.this.type
-}
-
-
-object Test1 {
- sealed abstract class Base
-
- object Base {
- case object Down extends Base {
- }
-
- case object Up extends Base {
- }
-
- (d1: Base, d2: Base) =>
- (d1, d2) match {
- case (Up, Up) | (Down, Down) => false
- case (Down, Up) => true
- case (Up, Down) => false
- }
- }
-}
-
-object Test2 {
- sealed abstract class Base
-
- object Base {
- case object Down extends Base {
- }
-
- case object Up extends Base {
- }
-
- (d1: Base, d2: Base) =>
- (d1) match {
- case Up | Down => false
- }
- }
-}
-
-object Test3 {
- sealed abstract class Base
-
- object Base {
- case object Down extends Base
-
- (d1: Base, d2: Base) =>
- (d1, d2) match {
- case (Down, Down) => false
- }
- }
-}
-
-object Test4 {
- sealed abstract class Base
-
- object Base {
- case object Down extends Base {
- }
-
- case object Up extends Base {
- }
-
- }
- import Test4.Base._
- (d1: Base, d2: Base) =>
- (d1, d2) match {
- case (Up, Up) | (Down, Down) => false
- case (Down, Test4.Base.Up) => true
- case (Up, Down) => false
- }
-}