fn vars_since_snapshot<'db, T>( table: &UnificationTable<InPlace<T, &'_ mut UnificationStorage<T>, &'_ mut InferCtxtUndoLogs<'db>>>, snapshot_var_len: usize, ) -> Range<T>where T: UnifyKey, UndoLog<'db>: From<UndoLog<Delegate<T>>>,