clang/test/Modules/pr62589.cppm

   1 // RUN: rm -rf %t
   2 // RUN: mkdir -p %t
   3 // RUN: split-file %s %t
   4 //
   5 // RUN: %clang_cc1 -std=c++23 -emit-module-interface %t/a.cppm -o %t/a.pcm
   6 // RUN: %clang_cc1 -std=c++23 %t/b.cpp -fmodule-file=a=%t/a.pcm -fsyntax-only -verify
   7
   8 //--- foo.h
   9 class TypeA {};
  10
  11 template<class _Tp, class _Up>
  12 concept __comparable = requires (_Tp &&__t, _Up &&__u) {
  13     __t == __u;
  14 };
  15
  16 namespace ranges {
  17 namespace __end {
  18   template <class _Tp>
  19   concept __member_end =
  20     requires(_Tp&& __t) {
  21         { __t.end() } -> __comparable<TypeA>;
  22     };
  23
  24   struct __fn {
  25     template <class _Tp>
  26       requires __member_end<_Tp>
  27     constexpr auto operator()(_Tp&& __t) const
  28     {
  29       return true;
  30     }
  31
  32     void operator()(auto&&) const = delete;
  33   };
  34 }
  35
  36 inline namespace __cpo {
  37   inline constexpr auto end = __end::__fn{};
  38 }
  39 }
  40
  41 template <class _Tp>
  42 concept range = requires(_Tp& __t) {
  43     ranges::end(__t);
  44 };
  45
  46 template <class T>
  47 class a {
  48 public:
  49     a(T*) {}
  50     TypeA end() { return {}; }
  51 };
  52
  53 template <class T>
  54 class a_view {
  55 public:
  56     template <class U>
  57     a_view(a<U>) {}
  58 };
  59 template <range _Range>
  60 a_view(_Range) -> a_view<int>;
  61
  62 constexpr bool operator==(TypeA, TypeA) {
  63     return true;
  64 }
  65
  66 //--- a.cppm
  67 module;
  68 #include "foo.h"
  69 export module a;
  70 export using ::a;
  71 export using ::a_view;
  72
  73 //--- b.cpp
  74 // expected-no-diagnostics
  75 import a;
  76 void use() {
  77     auto _ = a{"char"};
  78     auto __ = a_view{_};
  79 }