// { dg-additional-options "-fmodules-ts" } | |
export module Bob; // { dg-message "declared here" } | |
// No need to dg-module-cmi | |
import Kevin; | |
// { dg-error "failed to read" "" { target *-*-* } 0 } | |
// { dg-error "cannot import module" "" { target *-*-* } 0 } | |
// { dg-prune-output "fatal error:" } | |
// { dg-prune-output "compilation terminated" } |