Drop restriction that SuperAccessors should not touch patterns

Not sure why we need to do this, and in any case it's not sure
what constitutes a pattern. There are certainly some parts of
patterns (e.g. prefixes of unapplies, or their implicit arguments)
that should be transformed under SuperAccessors, so the previous
condition was too coarse.

We include the test case that motivated the restriction. It looks like
it works now.

1 files changed, 7 insertions, 0 deletions

diff --git a/tests/pos/t4062.scala b/tests/pos/t4062.scala
new file mode 100644
index 000000000..63e05b739
--- /dev/null
+++ b/tests/pos/t4062.scala
@@ -0,0 +1,7 @@
+class A(val f : String)
+
+class B(a : Option[String], f : String) extends A(f) {
+  a match {
+    case Some(`f`) => print(f)
+  }
+}