aboutsummaryrefslogtreecommitdiff
path: root/tests/pending
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2016-08-24 12:38:22 +0200
committerMartin Odersky <odersky@gmail.com>2016-08-26 11:13:17 +0200
commitb41cff6fa4ccc593916790364424051d9eef200d (patch)
treed2a729c5f885873d725f22f6d4cfe0786836ea59 /tests/pending
parenteb529b556f92a5ab0329899762b43eea7103ad59 (diff)
downloaddotty-b41cff6fa4ccc593916790364424051d9eef200d.tar.gz
dotty-b41cff6fa4ccc593916790364424051d9eef200d.tar.bz2
dotty-b41cff6fa4ccc593916790364424051d9eef200d.zip
Test recategorization
Diffstat (limited to 'tests/pending')
-rw-r--r--tests/pending/pos/t7239.scala38
-rw-r--r--tests/pending/pos/t7688.scala7
2 files changed, 0 insertions, 45 deletions
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)
-}