1*9c04851cSChuanqi Xu // RUN: rm -rf %t
2*9c04851cSChuanqi Xu // RUN: mkdir -p %t
3*9c04851cSChuanqi Xu // RUN: split-file %s %t
4*9c04851cSChuanqi Xu //
5*9c04851cSChuanqi Xu // RUN: %clang_cc1 -std=c++20 %t/mod.cppm -emit-module-interface -o %t/mod.pcm
6*9c04851cSChuanqi Xu // RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/Use.cpp -fsyntax-only -verify
7*9c04851cSChuanqi Xu //
8*9c04851cSChuanqi Xu //--- mod.cppm
9*9c04851cSChuanqi Xu export module mod;
10*9c04851cSChuanqi Xu struct t {};
11*9c04851cSChuanqi Xu export using u = t;
12*9c04851cSChuanqi Xu 
13*9c04851cSChuanqi Xu //--- Use.cpp
14*9c04851cSChuanqi Xu // expected-no-diagnostics
15*9c04851cSChuanqi Xu import mod;
foo()16*9c04851cSChuanqi Xu void foo() {
17*9c04851cSChuanqi Xu   u v{};
18*9c04851cSChuanqi Xu }
19