view gcc/testsuite/g++.dg/cpp2a/concepts-pr78752-2.C @ 19:2b5abeee2509 default tip

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents
children
line wrap: on
line source

// { dg-do compile { target c++2a } }
// { dg-additional-options "-fconcepts-ts" }

template <class T, class U>
concept bool Same = __is_same(T, U);

struct test {
  void func(Same<int>... ints) {}
};

void func(Same<int>... ints) {}

int main()
{
  test t;
  t.func(1, 2, 3);
  func(1, 2, 3);

  t.func(1, 2, ""); // { dg-error "no match" }
  func(1, 2, ""); // { dg-error "unsatisfied constraints" }
}