\tcode{std::construct_at} or

\tcode{std::ranges::construct_at}

is considered to include only

if the first argument (of type \tcode{T*}) points

to storage allocated with \tcode{std::allocator<T>} or

to an object whose lifetime began within the evaluation of $E$.