alt/base_upcast2_1alt2_alt10.nit:36,21: Type Error: expected `C`, got `T: A[Bool]`.