concepts-fn7.C\cpp2a\g++.dg\testsuite\gcc - riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

index : riscv-gnu-toolchain/gcc.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/gcc/testsuite/g++.dg/cpp2a/concepts-fn7.C

blob: 62111df310efb9ded9f9c5b481b9b18c249ab54f (plain)

// PR c++/95132
// { dg-do compile { target c++20 } }

template <class T> struct A {
  static auto f() requires false { return T::fail; }
};

template <class T>
concept C = requires { A<T>::f(); };

static_assert(!C<int>);