alt/base_attr_annot_alt5.nit:19,3--22,10: Error: `readonly` attributes need a value.