Function rustc_trait_selection::traits::do_normalize_predicates

pub(in traits) fn do_normalize_predicates<'tcx>(
    tcx: TyCtxt<'tcx>, 
    region_context: DefId, 
    cause: ObligationCause<'tcx>, 
    elaborated_env: ParamEnv<'tcx>, 
    predicates: Vec<Predicate<'tcx>>
) -> Result<Vec<Predicate<'tcx>>, ErrorReported>