blob: 4bead34ff3010e10de32cf11d26ab8f590f8f5b2 (
plain) (
tree)
|
|
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
}
}
|