xref: /llvm-project/clang/test/Modules/template_default_argument.cpp (revision da00c60dae0040185dc45039c4397f6e746548e9)
1 // RUN: rm -rf %t
2 // RUN: mkdir -p %t
3 // RUN: split-file %s %t
4 //
5 // RUN: %clang_cc1 -std=c++20 %t/B.cppm -emit-module-interface -o %t/B.pcm
6 // RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/Use.cpp -fsyntax-only -verify
7 
8 // RUN: %clang_cc1 -std=c++20 %t/B.cppm -emit-reduced-module-interface -o %t/B.pcm
9 // RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/Use.cpp -fsyntax-only -verify
10 //
11 //--- templ.h
12 template <typename T, typename U = T>
13 class templ {};
14 template <typename T, typename U = void>
templ_func()15 void templ_func() {}
16 
17 //--- B.cppm
18 module;
19 #include "templ.h"
20 export module B;
21 export template <typename G>
bar()22 templ<G> bar() {
23   templ_func<G>();
24   return {};
25 }
26 
27 //--- Use.cpp
28 // expected-no-diagnostics
29 import B;
foo()30 auto foo() {
31   return bar<int>();
32 }
33