fn do_normalize_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    cause: ObligationCause<'tcx>,
    elaborated_env: ParamEnv<'tcx>,
    predicates: Vec<Clause<'tcx>>
) -> Result<Vec<Clause<'tcx>>, ErrorGuaranteed>