highest_var_in_clauses

rustc_infer::infer::canonical::instantiate

Function highest_var_in_clauses 

Source 
fn highest_var_in_clauses<'tcx>(c: Clauses<'tcx>) -> usize