| // RUN: rm -rf %t |
| // RUN: mkdir -p %t |
| // RUN: split-file %s %t |
| // |
| // RUN: %clang_cc1 -std=c++20 %t/A.cppm -emit-module-interface -o %t/A.pcm |
| // RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/B.cppm -fsyntax-only -verify |
| // |
| //--- A.cppm |
| export module A; |
| struct X {}; |
| export using Y = X; |
| |
| //--- B.cppm |
| export module B; |
| import A; |
| Y y; // OK, definition of X is reachable |
| X x; // expected-error {{declaration of 'X' must be imported from module 'A' before it is required}} |
| // expected-note@* {{declaration here is not visible}} |
