alt/base_attr_annot_alt7.nit:19,3--24,10: Error: `lateinit` attributes need a value.