concepts-requires17.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-requires17.C

blob: 6b665ac52ea3a6abe5ec5fb0bc3c4e76a0371905 (plain)

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

template<typename T>
concept Type = true;

template<typename T>
concept C =
  requires (T a) {
    { a.f() } -> Type; // OK
    { a.g() } -> const Type*; // { dg-error "not a plain type-constraint" }
  };