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