The non-intrusive bits of my hopefully pending ...

The non-intrusive bits of my hopefully pending "use the static type of
the scrutinee to rule out some type/extractor patterns" patch. Includes
a cleanup of the (still inadequate) type-parameter-ignoring match test
which had been interfering with martin's digestion.

Also: implicit search is disabled when typing a pattern, because the
matcher never invokes implicits to satisfy a pattern. At worst maybe
we'll get a performance bump. No review.

1 files changed, 0 insertions, 5 deletions

diff --git a/test/files/pos/t0999.scala b/test/files/pos/t0999.scala
deleted file mode 100644
index c384820af1..0000000000
--- a/test/files/pos/t0999.scala
+++ /dev/null
@@ -1,5 +0,0 @@
-object A {
-  val d: Double = Math.sqrt(5 match {
-    case x: Double => x
-  })
-}