AB5
B5
5
Cast failed (alt/test_variance_param_alt1.nit)