test/files/pos/inferbroadtype.scala


1
2
3
4
5
6
7
8

object Test {
  abstract class Base { val changesBaseClasses: Boolean }
  class Concrete extends Base { val changesBaseClasses = true }
  def getBase : Base = new Concrete

  var c = new Base { val changesBaseClasses = true }
  c = getBase
}