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