1 // RUN: %clang_cc1 -std=c++20 %S/Inputs/cxx20-module-std-subst-2a.cpp -triple %itanium_abi_triple -emit-module-interface -o %t
2 // RUN: %clang_cc1 -std=c++20 %s -triple %itanium_abi_triple -fmodule-file=%t -emit-llvm -o - | FileCheck %s
3 
4 export module Foo;
5 import RenameString;
6 
7 namespace std {
8 template <typename T> struct char_traits {};
9 } // namespace std
10 
11 // use Sb mangling, not Ss as this is not global-module std::char_traits
12 // std::char_traits.
13 // CHECK-DAG: void @_ZW3Foo1fRSbIcStS_11char_traitsIcESaIcEE(
14 void f(str<char, std::char_traits<char>> &s) {
15 }
16