Searched refs:rr_template_unification (Results 1 – 3 of 3) sorted by relevance
435 rr_template_unification, enumerator699 struct rejection_reason *r = alloc_rejection (rr_template_unification); in template_unification_rejection()716 return alloc_rejection (rr_template_unification); in template_unification_error_rejection()3778 case rr_template_unification: in print_z_candidate()
432 rr_template_unification, enumerator697 struct rejection_reason *r = alloc_rejection (rr_template_unification); in template_unification_rejection()714 return alloc_rejection (rr_template_unification); in template_unification_error_rejection()3926 case rr_template_unification: in print_z_candidate()