US 17-030 6.7p10 [basic.link] Codify strong ownership for modules #605
Description
All C++ implementations have converged on “strong ownership” of modules, with none planning to implement “weak ownership”. This disposition no longer serves any purpose other than removing certainty.
Proposed change:
Codify only the strong ownership model as follows: “If two declarations of an entity are attached to different modules, the program is ill-formed if one declaration is reachable from the other.”