Function rustc_middle::infer::unify_key::replace_if_possible

pub fn replace_if_possible<V, L, 'tcx>(
    table: &mut UnificationTable<InPlace<ConstVid<'tcx>, V, L>>, 
    c: &'tcx Const<'tcx>
) -> &'tcx Const<'tcx> where
    V: VecLike<Delegate<ConstVid<'tcx>>>,
    L: UndoLogs<UndoLog<Delegate<ConstVid<'tcx>>>>,