https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105397
--- Comment #3 from Iain Sandoe <iains at gcc dot gnu.org> --- the import places attributes at the end. so import module Foo [[....]]; it would seem to be symmetrical to have: export import Foo [[...]]; export module Foo [[...]]; but, ts present, (if I read it correctly) it seems that the WD says export [[...]] module Foo; export [[...]] int bar (); which would then be weird with export [[...]] import Foo [[...]];