Runtime error: Cast failed (alt/rterror_attr_def_alt3.nit:27)