alt/base_virtual_type4_alt1.nit:20,16: Redef Error: a virtual type cannot be refined.
alt/base_virtual_type4_alt1.nit:24,7--11: Type error: expected nullable U, got T