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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4 concept bool C1() {
   5     return requires () {
   6                { T::smf() } noexcept;
   7            };
   8 }
   9 struct M1 {
  10     static void smf() noexcept;
  11 };
  12 template<typename T>
  13 concept bool C2() {
  14     return C1<typename T::type>();
  15 }
  16 struct M2 {
  17     using type = M1;
  18 };
  19 static_assert(C2<M2>(), "");