alt/base_upcast2_1alt5_alt4.nit:26,14--20: Warning: Expression is already a T since it is a C. alt/base_upcast2_1alt5_alt4.nit:30,21--22: Type error: expected T, got B[Bool]