test/files/pos/t1786.scala


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

class SomeClass(val intValue:Int)
class MyClass[T <: SomeClass](val myValue:T)
class Flooz[A >: Null <: SomeClass, T >: Null <: A](var value: T)

class A {
  def f1(i:MyClass[_])                       = i.myValue.intValue
  def f2(i:MyClass[_ <: SomeClass])          = i.myValue.intValue
  def f3[T](i: MyClass[T])                   = i.myValue.intValue
  def f4[T <: SomeClass](i: MyClass[T])      = i.myValue.intValue
  def f5[T >: Null](i: MyClass[T])           = i.myValue.intValue
  def f6[T >: Null <: String](i: MyClass[T]) = i.myValue.intValue + i.myValue.charAt(0)

  def g1[A, T](x: Flooz[A, T]) = { x.value = null ; x.value.intValue }
  def g2(x: Flooz[_, _]) = { x.value = null ; x.value.intValue }

  class MyClass2(x: MyClass[_]) { val p = x.myValue.intValue }
  class MyClass3[T <: String](x: MyClass[T]) { val p = x.myValue.intValue + x.myValue.length }
  class MyClass4[T >: Null](x: MyClass[T]) { val p = x.myValue.intValue }
}