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