maybe-static-ext(C++26)

template<class T>
  constexpr size_t maybe-static-ext = dynamic_extent;  // exposition only
template<integral-constant-like T>
  constexpr size_t maybe-static-ext<T> = {T::value};