diff options
author | Martin Odersky <odersky@gmail.com> | 2016-08-24 12:38:22 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-08-26 11:13:17 +0200 |
commit | b41cff6fa4ccc593916790364424051d9eef200d (patch) | |
tree | d2a729c5f885873d725f22f6d4cfe0786836ea59 /tests/pending | |
parent | eb529b556f92a5ab0329899762b43eea7103ad59 (diff) | |
download | dotty-b41cff6fa4ccc593916790364424051d9eef200d.tar.gz dotty-b41cff6fa4ccc593916790364424051d9eef200d.tar.bz2 dotty-b41cff6fa4ccc593916790364424051d9eef200d.zip |
Test recategorization
Diffstat (limited to 'tests/pending')
-rw-r--r-- | tests/pending/pos/t7239.scala | 38 | ||||
-rw-r--r-- | tests/pending/pos/t7688.scala | 7 |
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) -} |