A private module fragment would preserve single-file implementation
engineeringcppmodulesencapsulationstandardsP1242R1 proposes a private implementation fragment inside a primary module interface file. The boundary reconciles refactoring-resistant export semantics with keeping an opaque type's definition in the same source file.