Function rustc_trait_selection::traits::relationships::update

pub(crate) fn update<'tcx, T>(
    engine: &mut T,
    infcx: &InferCtxt<'_, 'tcx>,
    obligation: &PredicateObligation<'tcx>
)where
    T: TraitEngine<'tcx>,