view gcc/testsuite/g++.dg/concepts/req14.C @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
line wrap: on
line source

// PR c++/66758
// { dg-options "-std=c++17 -fconcepts" }

template <class T, class U>
concept bool C = requires (T t, U u) { t + u; };

template <class T, class U>
requires C<T,U>
void f(T t, U u) { t + u; }

int main()
{
  using T = decltype(f(42, 24));
}