LWG3398 tuple_element_t is also wrong for const subrange

cplusplus · Feb 27, 2020 · 28fe6c3 · 28fe6c3
1 parent f4af894
commit 28fe6c3
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/source/ranges.tex b/source/ranges.tex
@@ -303,6 +303,14 @@
   struct tuple_element<1, ranges::subrange<I, S, K>> {
     using type = S;
   };
+  template<class I, class S, ranges::subrange_kind K>
+  struct tuple_element<0, const ranges::subrange<I, S, K>> {
+    using type = I;
+  };
+  template<class I, class S, ranges::subrange_kind K>
+  struct tuple_element<1, const ranges::subrange<I, S, K>> {
+    using type = S;
+  };
 }
 \end{codeblock}