blob: d0cf8c7bace292b35616c68ba5563b0d3ad12a72 (
plain) (
tree)
|
|
/** This a consequence of the current type checking algorithm, where bounds
* are checked only after variables are instantiated. I believe this will change once we go to contraint-based type inference. Assigning low priority until then.
*
*
*/
class SomeClass(val intValue:Int)
class MyClass[T <: SomeClass](val myValue:T)
object Test extends Application {
def myMethod(i:MyClass[_]) {
i.myValue.intValue/2 // << error i is of type Any
}
def myMethod(i:MyClass[_ <: SomeClass]) {
i.myValue.intValue/2 // << works
}
}
/*
The below code shows a compiler flaw in that the wildcard "_" as value for a bounded type parameter either breaks the boundry - as it result in Any - or doesnt (as id hoped it to be) evaluates to the boundy.
*/
|