1 // { dg-additional-options -fmodules-ts }
2 
3 module foo:imp;
4 // { dg-module-cmi foo:imp }
5 
6 import :inter; // ok
7