// { dg-additional-options "-fmodules-ts -Wno-pedantic" }
# 3 __FILE__ 1
module ; // { dg-error "cannot be in included file" }
export module bob; // { dg-error "cannot be in included file" }
# 6 "" 2
// { dg-module-cmi !bob }
// { dg-prune-output "not writing module" }