From fad74bbbd0ab4425573f182ebde1b31a99e80547 Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Thu, 18 Jan 2024 15:51:11 +0100
Subject: [PATCH] refactor: Mark prevector iterator with
 std::contiguous_iterator_tag

---
 src/prevector.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/prevector.h b/src/prevector.h
index 8b07d8c289d..4776db789bd 100644
--- a/src/prevector.h
+++ b/src/prevector.h
@@ -53,7 +53,8 @@ public:
         typedef T value_type;
         typedef T* pointer;
         typedef T& reference;
-        typedef std::random_access_iterator_tag iterator_category;
+        using element_type = T;
+        using iterator_category = std::contiguous_iterator_tag;
         iterator() = default;
         iterator(T* ptr_) : ptr(ptr_) {}
         T& operator*() const { return *ptr; }
@@ -104,7 +105,8 @@ public:
         typedef const T value_type;
         typedef const T* pointer;
         typedef const T& reference;
-        typedef std::random_access_iterator_tag iterator_category;
+        using element_type = const T;
+        using iterator_category = std::contiguous_iterator_tag;
         const_iterator() = default;
         const_iterator(const T* ptr_) : ptr(ptr_) {}
         const_iterator(iterator x) : ptr(&(*x)) {}