summaryrefslogtreecommitdiff
path: root/test/files/pos/typevar-in-prefix.scala
blob: 929648b789090016c88313966f11623c64951301 (plain) (blame)
1
2
3
4
5
6
7
8
9
trait Test1 {
  abstract class Setting
  def Bool: Setting

  class C[T <: Setting](val s: T)
  val setting1 = null.asInstanceOf[_1.s.type forSome { val _1: C[Setting] }]
  // the derived accessor for this val was not using an inferred type, as was
  // the intention of the implementation in MethodSynthesis.
}