test/pending/pos/t1786.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

/** 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.
*/