Function search_bounds_for 

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