Fix #1637: Future defs are always OK

Drop special mode that handles future defs without which we
get DenotationNotDefinedHere errors. In more than a year, this
has only turned up false negatives. So I think it's better to
drop the check, and the contortions needed to deal with it.

1 files changed, 8 insertions, 0 deletions

diff --git a/tests/pos/i1637.scala b/tests/pos/i1637.scala
new file mode 100644
index 000000000..fa7defb74
--- /dev/null
+++ b/tests/pos/i1637.scala
@@ -0,0 +1,8 @@
+object Main extends App {
+  case class Foo(field: Option[String])
+  val x: PartialFunction[Foo, Int] = { c =>
+    c.field match {
+      case Some(s) => 42
+    }
+  }
+}