fn const_vars_since_snapshot<'tcx>(
    table: &mut UnificationTable<InPlace<ConstVid<'tcx>, &'_ mut UnificationStorage<ConstVid<'tcx>>, &'_ mut InferCtxtUndoLogs<'tcx>>>,
    snapshot_var_len: usize
) -> (Range<ConstVid<'tcx>>, Vec<ConstVariableOrigin>)