- #alt3#var vpubA: nullable A writable
- #alt4#protected var vproA: nullable A protected writable
- private var vpriA: nullable A
+ #alt3#var vpubA: nullable A is writable, noinit
+ #alt4#protected var vproA: nullable A is protected writable, noinit
+ private var vpriA: nullable A is noinit