aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t7782.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t7782.scala')
-rw-r--r--tests/pending/pos/t7782.scala25
1 files changed, 0 insertions, 25 deletions
diff --git a/tests/pending/pos/t7782.scala b/tests/pending/pos/t7782.scala
deleted file mode 100644
index 9b98f6ac6..000000000
--- a/tests/pending/pos/t7782.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-package pack
-
-object Test {
- import O.empty
- empty // this will trigger completion of `test`
- // with skolemizationLevel = 1
-}
-
-object O {
- // order matters (!!!)
-
- // this order breaks under 2.10.x
- def empty[E]: C[E] = ???
- def empty(implicit a: Any): Any = ???
-}
-
-abstract class C[E] {
- def foo[BB](f: BB): Unit
- def test[B](f: B): Any = foo(f)
- // error: no type parameters for method foo: (<param> f: BB)scala.this.Unit exist so that it can be applied to arguments (B&1)
- // --- because ---
- // argument expression's type is not compatible with formal parameter type;
- // found : B&1
- // required: ?BB
-}