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>,