// RUN: rm -rf %t
// RUN: split-file %s %t
// RUN: cd %t
//
// RUN: %clang_cc1 -std=c++20 %t/A-B.cppm -I%t -emit-module-interface -o %t/A-B.pcm
// RUN: %clang_cc1 -std=c++20 %t/A-C.cppm -I%t -emit-module-interface -o %t/A-C.pcm
// RUN: %clang_cc1 -std=c++20 %t/A.cppm -emit-module-interface -fprebuilt-module-path=%t -o %t/A.pcm
// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/Use.cpp -verify -fsyntax-only

//--- foo.h
template <typename U, typename T>
class pair {};

template <typename U>
class allocator {};

template <typename T>
class my_traits {};

template <class _Key, class _Tp,
          class _Alloc = allocator<pair<const _Key, _Tp> > >
class unordered_map
{
public:
    unordered_map() {}
};

template<bool, class = void> struct my_enable_if {};
template<class T> struct my_enable_if<true, T> { using type = T; };
template<bool B, class T = void> using my_enable_if_t = typename my_enable_if<B, T>::type;

template<class _InputIterator,
         class _Allocator = allocator<my_traits<_InputIterator>>,
         class = my_enable_if_t<_InputIterator::value>>
unordered_map(_InputIterator, _InputIterator, _Allocator = _Allocator())
  -> unordered_map<my_traits<_InputIterator>, my_traits<_InputIterator>, _Allocator>;

template <class _CharT,
          class _Traits = my_traits<_CharT>,
          class _Allocator = allocator<_CharT> >
    class basic_string;
typedef basic_string<char, my_traits<char>, allocator<char> > string;

template<class _CharT, class _Traits, class _Allocator>
class basic_string
{
public:
    basic_string();

    template<class _InputIterator, class = my_enable_if_t<_InputIterator::value> > 
            basic_string(_InputIterator __first, _InputIterator __last, const _Allocator& __a);

    void resize(unsigned __n, _CharT __c);
};

extern template void basic_string<char>::resize(unsigned, char);

//--- A-B.cppm
module;
#include "foo.h"
export module A:B;
export using ::string;

//--- A-C.cppm
module;
#include "foo.h"
export module A:C;

//--- A.cppm
export module A;
export import :B;
export import :C;

//--- Use.cpp
import A;
string s;
::unordered_map<int, int> mime_map; // expected-error {{missing '#include'; 'unordered_map' must be declared before it is used}}
                                    // expected-note@* {{declaration here is not visible}}