class Box<out T : Foo> {
  val foo: T
    field = foo
    get

  constructor(foo: T) /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

  val str: String
    get(): String {
      var foo: Foo = <this>.<get-foo>()
      when {
        foo is Buz -> { // BLOCK
          return foo /*as Buz */(super<Buz>).#str /*!! String */
        }
      }
      return ""
    }

}