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