tests/untried/pos/virtpatmat_infer_single_1.scala


1
2
3
4
5
6
7

case class TypeBounds(a: Type, b: Type)
class Type {
  def bounds: TypeBounds = bounds match {
    case TypeBounds(_: this.type, _: this.type) => TypeBounds(this, this)
    case oftp                                   => oftp
  }
}