[libcxx-commits] [PATCH] D117608: [libcxx][test] view_interface need not derive from view_base

Joe Loser via Phabricator via libcxx-commits libcxx-commits at lists.llvm.org
Wed Jan 19 10:24:13 PST 2022


jloser added inline comments.


================
Comment at: libcxx/test/std/ranges/range.utility/view.interface/view.interface.pass.cpp:35
 
-static_assert(std::derived_from<std::ranges::view_interface<Empty>, std::ranges::view_base>);
+LIBCPP_STATIC_ASSERT(std::derived_from<std::ranges::view_interface<Empty>, std::ranges::view_base>);
 
----------------
Quuxplusone wrote:
> This is late-breaking C++20, right?
> If so, just delete this line (and the following blank line): there's no point testing something that we (1) shouldn't do and (2) presumably plan to change.
I'd prefer one of two different options:
1) Make this `LIBCPP_STATIC_ASSERT` as the current `view_interface` class template does indeed inherit from `view_base`.
2) Implement LWG3549 and make it so that `view_interface` class template no longer derives from `view_base` and then kill this line in the test as you've done.

Any appetite for implementing LWG3549? If not, I volunteer.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D117608/new/

https://reviews.llvm.org/D117608



More information about the libcxx-commits mailing list