// 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 %t/b.cppm -emit-module-interface -o %t/b.pcm \
// RUN:   -fprebuilt-module-path=%t
// RUN: %clang_cc1 -std=c++20 %t/test.cpp -fsyntax-only -verify \
// RUN:   -fprebuilt-module-path=%t

//--- a.cppm
export module a;

namespace n {
template<typename, int...>
struct integer_sequence {

};

export template<typename>
using make_integer_sequence = __make_integer_seq<integer_sequence, int, 0>;
}

//--- b.cppm
export module b;
import a;

export template<typename T>
void b() {
	n::make_integer_sequence<T>();
}

//--- test.cpp
// expected-no-diagnostics
import b;
void test() {
  b<int>();
}