pub fn eq_poly_ref_trait(l: &PolyTraitRef, r: &PolyTraitRef) -> bool