fn search_bounds_for<'tcx>(
hir_bounds: &'tcx [GenericBound<'tcx>],
where_bounds: &'tcx [WherePredicate<'tcx>],
context: ImpliedBoundsContext,
f: impl FnMut(&'tcx PolyTraitRef<'tcx>),
)fn search_bounds_for<'tcx>(
hir_bounds: &'tcx [GenericBound<'tcx>],
where_bounds: &'tcx [WherePredicate<'tcx>],
context: ImpliedBoundsContext,
f: impl FnMut(&'tcx PolyTraitRef<'tcx>),
)