Function set_projection_term_to_non_rigid 

fn set_projection_term_to_non_rigid<'tcx>(
    tcx: TyCtxt<'tcx>,
    predicates: impl IntoIterator<Item = Clause<'tcx>>,
) -> impl Iterator<Item = Clause<'tcx>>