// { dg-additional-options "-fmodules-ts" }
// { dg-module-cmi {mod} }

export module mod;
import :impl;