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

   1 // { dg-do compile }
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4 // Check that type requirements are normalized correctly.
   5
   6 template<typename T>
   7   concept bool Has_member_type() {
   8     return requires() { typename T::type; };
   9   }
  10
  11 template<typename T>
  12   concept bool Concept() {
  13     return true && Has_member_type<T>();
  14   }
  15
  16 template<Concept T>
  17   void foo( T t  ) { }