blob: b7bd63190114a96ceafcc2f52c800632eb5ac207 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
sealed trait Identity[A] {
val value: A
}
trait Coerce[A, B] {
def unwrap: (A => B)
}
object Coerce {
def IdentityCoerce[B] = new Coerce[Identity[B], B] {
// java.lang.Error: A in trait Identity cannot be instantiated from ?x$1.type
def unwrap = _.value
// Providing the type of _ works around the problem.
//def unwrap = (_: Identity[B]).value
}
}
|