You might be interested in the linkage control pitch then. But for what you're talking about, it seems to me like a better approach would be for us to support user-written swiftinterface files for modules, allowing dependencies to be written against the explicit interface, and the module implementation checked against the explicit interface separately.
4 Likes