On 9/23/23 18:01, Chris Gary via Std-Proposals wrote:

> I shouldn't have to #include something to use a language feature.

There are multiple language features that rely on headers: move
semantic, perfect forwarding, coroutines, non-throwing new, launder,
and more:

   https://en.cppreference.com/w/cpp/freestanding