blob: 06653cca83946450a34bec60ff48d5964f7ad59f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
trait II {
def apply(x: Int): Int
}
object Test {
def ii(x: Int): Int = x
def test = {
val ii1: II = x => ii(x) // works
val ii2: II = ii // works (adapting `ii` to `II`)
val ii3: II = ii _ // fails -- should work
// typedTyped({ii : (() => <empty>)})
// typedEta(ii, pt = II)
// adapt(ii, pt = (? => ?))
// instantiatedToMethodType(ii, pt = (? => ?))
// val ii3: II = ii _ // error:
// found : Int => Int
// required: II
}
}
|