diff options
Diffstat (limited to 'tests/pending/pos/t7782.scala')
-rw-r--r-- | tests/pending/pos/t7782.scala | 25 |
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 -} |