// { dg-additional-options "-fmodules-ts" }
module;
module; // { dg-error "expected" }