Cleanup

Author: H-G-Hristov

libcxx/test/std/ranges/range.factories/range.iota.view/views_iota.pass.cpp

@@ -49,9 +49,6 @@ struct X {};
 template <typename IntT>
 concept CanDoubleWrap = requires(IntT i) { std::views::iota(std::views::iota(i)); };
 
-template <typename T>
-concept HasIota = requires(T t) { std::views::iota(t); };
-
 constexpr bool
 test() {
   testType<SomeInt>(SomeInt(10));
@@ -75,14 +72,10 @@ test() {
   {
     static_assert(std::same_as<decltype(std::views::iota), decltype(std::ranges::views::iota)>);
   }
-  { // LWG4096
-    // [[maybe_unused]] auto i1 = std::views::iota(std::views::iota(82));
-    // [[maybe_unused]] auto i2 = std::views::iota(std::views::iota(SomeInt(94)));
-
+  { // LWG4096: views::iota(views::iota(0)) should be rejected
     static_assert(!CanDoubleWrap<int>);
     static_assert(!CanDoubleWrap<SomeInt>);
-    static_assert(!HasIota<decltype(std::views::iota(82))>);
-    static_assert(!HasIota<decltype(std::views::iota(SomeInt(94)))>);
+
     static_assert(!std::is_invocable_v<decltype(std::views::iota), decltype(std::views::iota(82))>);
   }