Function rustc_trait_selection::traits::project::normalize_to
source · [−]pub fn normalize_to<'a, 'b, 'tcx, T>(
selcx: &'a mut SelectionContext<'b, 'tcx>,
param_env: ParamEnv<'tcx>,
cause: ObligationCause<'tcx>,
value: T,
obligations: &mut Vec<PredicateObligation<'tcx>>
) -> Twhere
T: TypeFoldable<'tcx>,