gcc/testsuite/g++.dg/concepts/pr68434.C

   1 // { dg-do compile { target c++17_only } }
   2 // { dg-options "-fconcepts-ts" }
   3
   4 template <class>
   5 concept bool C1 () {
   6   return true;
   7 }
   8
   9 template <class>
  10 concept bool C2 () {
  11   return true;
  12 }
  13
  14 template <class Expr>
  15 concept bool C3 () {
  16   return requires (Expr expr) {
  17       {expr}->C1;
  18       {expr}->C2;
  19   };
  20 }
  21
  22 auto f (C3);