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

import Foo;

void X ()
{
  Container c;
  c.Frob ();
}