| // swift-interface-format-version: 1.0 | |
| // swift-module-flags: -module-name DreadPirateRoberts | |
| // RUN: %empty-directory(%t) | |
| // RUN: echo 'import WrongName' | not %target-swift-frontend -typecheck -enable-parseable-module-interface -module-cache-path %t -I %S - 2>&1 | %FileCheck %s | |
| // CHECK: :1:8: error: cannot load module 'DreadPirateRoberts' as 'WrongName' |