[PATCH] D15862: A possible direction for fixing https://llvm.org/bugs/show_bug.cgi?id=25973.

[Richard Smith via cfe-commits]

rsmith added inline comments.

================
Comment at: include/iterator:442
@@ +441,3 @@
+struct __is_exactly_input_iterator
+    : public integral_constant<bool, is_same<typename iterator_traits<_Tp>::iterator_category, input_iterator_tag>::value> {};
+
----------------
Is it permitted for people to derive their own tag types from input_iterator_tag and use them here? Perhaps "not (derived from) forward_iterator_tag" would be more robust?


http://reviews.llvm.org/D15862