41 lines · cpp
1// RUN: rm -rf %t2// RUN: mkdir %t3// RUN: split-file %s %t4//5// RUN: %clang_cc1 -x c++ -std=c++20 -fmodules -fmodule-name=foo %t/foo.map -emit-module -o %t/foo.pcm6// RUN: %clang_cc1 -x c++ -std=c++20 -fmodules -fmodules-cache-path=%t \7// RUN: -fmodule-file=%t/foo.pcm %t/use.cpp -verify -fsyntax-only8 9//--- foo.map10module "foo" {11 export * 12 header "foo.h"13}14 15//--- foo.h16template<class T1, int V = 0>17class A;18 19template <typename T>20class templ_params {};21 22template<class T1, template <typename> typename T2 = templ_params>23class B;24 25template<class T1, class T2 = int>26class C;27 28//--- use.cpp29#include "foo.h"30template<class T1, int V = 1> // expected-error {{template parameter default argument is inconsistent with previous definition}}31class A; // expected-note@foo.h:1 {{previous default template argument defined in module foo}}32 33template <typename T>34class templ_params2 {};35 36template<class T1, template <typename> typename T2 = templ_params2> // expected-error {{template parameter default argument is inconsistent with previous definition}}37class B; // expected-note@foo.h:7 {{previous default template argument defined in module foo}}38 39template<class T1, class T2 = double> // expected-error {{template parameter default argument is inconsistent with previous definition}}40class C; // expected-note@foo.h:10 {{previous default template argument defined in module foo}}41