clang/test/Modules/inconsistent-deduction-guide-linkage.cppm

   1 // RUN: rm -fr %t
   2 // RUN: mkdir %t
   3 // RUN: split-file %s %t
   4 //
   5 // RUN: %clang_cc1 -std=c++20 %t/B.cppm -I%t -emit-module-interface -o %t/B.pcm
   6 // RUN: %clang_cc1 -std=c++20 -fsyntax-only %t/A.cppm -I%t -fprebuilt-module-path=%t -verify
   7 //
   8 // RUN: %clang_cc1 -std=c++20 %t/D.cppm -I%t -emit-module-interface -o %t/D.pcm
   9 // RUN: %clang_cc1 -std=c++20 -fsyntax-only %t/D-part.cppm -I%t -fprebuilt-module-path=%t -verify
  10
  11 //--- A.cppm
  12 module;
  13 export module baz:A;
  14 import B;
  15 #include "C.h"
  16
  17 //--- B.cppm
  18 module;
  19
  20 #include "C.h"
  21 export module B;
  22
  23 //--- C.h
  24 namespace foo {
  25   template<class T, class U> struct bar { // expected-error {{declaration of 'bar' in module baz:A follows declaration in the global module}} // expected-note {{previous declaration is here}}
  26       template<class, class> bar(T, U);
  27   };
  28   template<class T, class U> bar(T, U) -> bar<T, U>; // expected-error {{declaration of '<deduction guide for bar>' in module baz:A follows declaration in the global module}} // expected-note {{previous declaration is here}}
  29 }
  30
  31 //--- D.cppm
  32 // Tests that it is still problematic if they are in one module.
  33 module;
  34 #include "E.h"
  35 export module D;
  36
  37 //--- D-part.cppm
  38 export module D:part;
  39 import D;
  40 #include "E.h"
  41
  42 //--- E.h
  43 // another file for simpler diagnostics.
  44 namespace foo {
  45   template<class T, class U> struct bar { // expected-error {{declaration of 'bar' in module D:part follows declaration in the global module}} // expected-note {{previous declaration is here}}
  46       template<class, class> bar(T, U);
  47   };
  48   template<class T, class U> bar(T, U) -> bar<T, U>; // expected-error {{declaration of '<deduction guide for bar>' in module D:part follows declaration in the global module}} // expected-note {{previous declaration is here}}
  49 }