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

module foo;

void frob ()
{
  to_string ();
}