gcc/testsuite/g++.dg/cpp2a/concepts-pr92078.C

   1 // { dg-do compile { target c++20 } }
   2
   3 template<typename I>
   4 struct iterator_traits
   5 {
   6 private:
   7   template<typename Iter>
   8   struct ptr
   9   { };
  10
  11   template<typename J>
  12     requires requires { typename J::X; }
  13   struct ptr<J>
  14   { };
  15
  16   template<typename J>
  17     requires (!requires { typename J::X; } && requires { typename J::Y; })
  18   struct ptr<J>
  19   { };
  20 };