blob: 3e1e6ab8b40ccf64fb6e4f41931f42bf16faa464 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
import scala.language.reflectiveCalls
case class ContextProperty(value: Any) {
type HasToInt = { def toInt:Int }
def toInt: Int = value match {
case n: HasToInt => n.toInt
}
}
// was:
// error:7: error during expansion of this match (this is a scalac bug).
// The underlying error was: type mismatch;
// found : Boolean(true)
// required: AnyRef
// def toInt: Int = value match {
|