// RUN: %clang_cc1 -fmodules -emit-llvm-only %s -verify

#pragma clang module build A
module A {}
#pragma clang module contents
#pragma clang module begin A
template<typename T> void f(const T&) { T::error; }
#pragma clang module end
#pragma clang module endbuild

#pragma clang module build B
module B {}
#pragma clang module contents
#pragma clang module begin B
template<typename T> void f(const T&) { T::error; }
#pragma clang module end
#pragma clang module endbuild

#pragma clang module build C
module C {}
#pragma clang module contents
#pragma clang module begin C
#pragma clang module load B
template<typename T> void f(const T&) { T::error; }
#pragma clang module end
#pragma clang module endbuild

#pragma clang module load A
inline void f() {}
void x() { f(); }

#pragma clang module import C
// expected-error@* {{cannot be used prior to}}
void y(int n) { f(n); } // expected-note {{instantiation of}}