gcc/testsuite/g++.dg/modules/adl-5_a.c

// { dg-additional-options -fmodules-ts }
export module foo;
// { dg-module-cmi foo }

export template <typename T>
int TPL (T const &t)
{
  return frob (t);
}