LWG-3738 has not been implemented?

[hewillk]

LWG 3738 is recorded as NA in already-closed Meta LWG issue: 2022-11 meeting, It never seems to add the proposed wording though, not sure if this is an oversight.

#define _CONTAINER_DEBUG_LEVEL 2
#include <ranges>

constexpr auto take = std::ranges::take_view(std::views::single(0), -11); // ok
constexpr auto drop = std::ranges::drop_view(std::views::single(0), -11); // error

https://godbolt.org/z/4oMqG6rG1

[frederick-vs-ja]

I don't think there's anything to be implemented.

See [expr.const]/6.1:

It is unspecified whether E is a core constant expression if E satisfies the constraints of a core constant expression, but evaluation of E would evaluate

• an operation that has undefined behavior as specified in [library] through [thread],