| // RUN: rm -rf %t |
| // RUN: mkdir -p %t |
| // RUN: %target-swift-frontend -emit-module -o %t %S/../Inputs/empty.swift -module-name new_module |
| // RUN: %target-swift-frontend -emit-module -o %t %S/../Inputs/empty.swift -module-name another_new_module |
| // RUN: %target-swift-frontend -emit-module -o %t %S/Inputs/depends_on_new_module.swift -I %t |
| // RUN: %target-swift-frontend %s -typecheck -I %t |
| // RUN: rm %t/new_module.swiftmodule |
| // RUN: rm %t/another_new_module.swiftmodule |
| // RUN: %target-swift-frontend %s -typecheck -I %t -verify -show-diagnostics-after-fatal |
| |
| // This error should happen after we've deleted the dependency module |
| import depends_on_new_module // expected-error{{missing required modules: 'another_new_module', 'new_module'}} |
| |
| depends_on_new_module.foo() // expected-error {{module 'depends_on_new_module' has no member named 'foo'}} |