gcc/testsuite/g++.dg/cpp2a/concepts-pr67319.C

// PR c++/67319
// { dg-do compile { target c++20 } }
// { dg-additional-options "-fconcepts-ts" }

template <typename T>
concept bool Any()
{
  return requires (T t) { +t; };
}

struct my_struct
{
  template <Any... Args>
  auto sample(Args... args) -> void;
};

int main()
{
  my_struct{}.sample();
  my_struct{}.sample(0);
  my_struct{}.sample(0, 'a');
  my_struct{}.sample(nullptr); // { dg-error "" }
}