https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125230
Rainer Deyke <rainerd at eldwood dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|INVALID |---
Status|RESOLVED |UNCONFIRMED
--- Comment #8 from Rainer Deyke <rainerd at eldwood dot com> ---
Consensus at [email protected] seems to be that the set of
"importable headers" is meant to be a finite closed set of
implementation-provided headers that does not include user-provided headers.
a.hpp in my example is not supposed to be an "importable header". Importing it
should not turn it into an importable header. Precompiling it should not turn
it into turn it into an "importable header". An #include of this header be
turned into an import.
I concede that the language of the standard is ambiguous, but this is not
"exactly how c++20 modules are supposed to work".
