blob: 12a434c5b01391c21411027c0665647ac691446f (
plain) (
blame)
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
26
27
28
29
30
|
import language.higherKinds
trait Foo[A <: AnyRef] {
type Repr
def f(a: A): Repr
def g(a: A): Option[Repr]
type M[X]
def m(a: A): M[a.type]
type Id[X] = X
def n(a: A): Id[(Repr, M[a.type])]
}
object Foo {
type Aux[A <: AnyRef, B] = Foo[A] { type Repr = B; type M[X] = Int }
}
object Main extends App {
def mapWithFoo[A <: AnyRef, B](as: List[A])(implicit foo: Foo.Aux[A, B]) = {
// Should be Eta expandable because the result type of `f` is not
// dependant on the value, it is just `B`.
as map foo.f
as map foo.g
as map foo.m
as map foo.n
}
}
|