Relax matching requirement in unApply

We now always widen selector type to the superclass if necessary,
no matter whether the selector type refers to a trait or a proper
class.

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/pos/t7294.scala b/tests/pos/t7294.scala
new file mode 100644
index 000000000..ccac2b140
--- /dev/null
+++ b/tests/pos/t7294.scala
@@ -0,0 +1,6 @@
+object Test {
+  // no fruitless warning as Tuple2 isn't (yet) final.
+  // The corresponding `neg` test will treat it as final
+  // for the purposes of these tests under -Xfuture.
+  (1, 2) match { case Seq() => 0; case _ => 1 }
+}