From b41cff6fa4ccc593916790364424051d9eef200d Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 24 Aug 2016 12:38:22 +0200
Subject: Test recategorization

---
 tests/pending/pos/t7239.scala | 38 --------------------------------------
 tests/pending/pos/t7688.scala |  7 -------
 2 files changed, 45 deletions(-)
 delete mode 100644 tests/pending/pos/t7239.scala
 delete mode 100644 tests/pending/pos/t7688.scala

(limited to 'tests/pending')

diff --git a/tests/pending/pos/t7239.scala b/tests/pending/pos/t7239.scala
deleted file mode 100644
index 16e9d00f1..000000000
--- a/tests/pending/pos/t7239.scala
+++ /dev/null
@@ -1,38 +0,0 @@
-object Test {
-  def BrokenMethod(): HasFilter[(Int, String)] = ???
-
-  trait HasFilter[B] {
-    def filter(p: B => Boolean) = ???
-  }
-
-  trait HasWithFilter {
-    def withFilter = ???
-  }
-
-  object addWithFilter {
-    trait NoImplicit
-    implicit def enrich(v: Any)
-                       (implicit F0: NoImplicit): HasWithFilter = ???
-  }
-
-  BrokenMethod().withFilter(_ => true) // okay
-  BrokenMethod().filter(_ => true)     // okay
-
-  locally {
-    import addWithFilter._
-    BrokenMethod().withFilter((_: (Int, String)) => true) // okay
-  }
-
-  locally {
-    import addWithFilter._
-    // adaptToMemberWithArgs sets the type of the tree `x`
-    // to ErrorType (while in silent mode, so the error is not
-    // reported. Later, when the fallback from `withFilter`
-    // to `filter` is attempted, the closure is taken to have
-    // have the type `<error> => Boolean`, which conforms to
-    // `(B => Boolean)`. Only later during pickling does the
-    // defensive check for erroneous types in the tree pick up
-    // the problem.
-    BrokenMethod().withFilter(x => true) // erroneous or inaccessible type.
-  }
-}
diff --git a/tests/pending/pos/t7688.scala b/tests/pending/pos/t7688.scala
deleted file mode 100644
index 5a846b97e..000000000
--- a/tests/pending/pos/t7688.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-import scala.reflect.macros._
-
-class A[C <: Context with Singleton](position: C#Position)
-
-object A {
-  def apply(c: Context)(in: c.Tree): A[c.type] = new A(in.pos)
-}
-- 
cgit v1.2.3