1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
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)
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
}
|
