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

module foo:imp;
// { dg-module-cmi foo:imp }

import :inter; // ok