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