1 // { dg-additional-options "-fmodules-ts" }
2 int k;
3 module frob; // { dg-error "only permitted as" }
4 // { dg-prune-output "failed to read" }
5 // { dg-prune-output "fatal error:" }
6 // { dg-prune-output "compilation terminated" }
7