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

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