> I don't like the proposed change though, because using std::format
> directly is a pretty bad implementation (it adds a ton of overhead
> that isn't needed). As a specification for what it returns, it's fine.

I tend to agree. I've updated the proposal so that it now adds a
Throws specification instead.