alt/base_upcast2_1alt5_alt7.nit:33,22: Type Error: expected `A[Bool]`, got `T: C`.