tests/invalid/pos/t6169/skinnable.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14

object ObjectProperty {
  implicit def jfxObjectProperty2sfx[T](p: OP[T]) = new ObjectProperty[T](p)
}

class ObjectProperty[T](val delegate: OP[T])

trait TestWildcardBoundInference {
  def delegate: Skinnable
  def skin: ObjectProperty[Skin[_ /* inferred: <: Skinnable */]] = ObjectProperty.jfxObjectProperty2sfx(delegate.skinProperty)
  skin: ObjectProperty[Skin[_  <: Skinnable]]

  def skinCheckInference = delegate.skinProperty
  skinCheckInference: ObjectProperty[Skin[_  <: Skinnable]]
}