gcc/testsuite/g++.dg/modules/part-5_b.C

// { dg-additional-options -fmodules-ts }

export module module1;
// { dg-module-cmi module1 }

export import :submodule1;