[Pre-Pitch] Import access control: a modest proposal

[xwu (Xiaodi Wu)]

@Nevin

It would be much more ergonomic if my library could make a “convenience import” of those other libraries.

Then the conformances of, say, Numerics types to my protocol would be available for clients who import both my library and Numerics, but other clients who don’t import Numerics would still be able to use my library without any problems.

Is that not served by the feature known as “cross-importing”?