Some personal thoughts:
- I’m totally on adding
open import
as the stabilized version of@_exported import
, to make the proposal complete and cover the most popularimport
access control options. - What is the behavior of
public import struct SomeModule.SomeStruct
? Which of the access levels can be applied toimport struct/enum/class/actor
? We should definitely make this clear to align theimport
behavior.