Author
anonymous
over 7 years ago
Language
Compiler
Options
Author
anonymous
over 7 years ago
$ prog.cc: In function 'int main()':
prog.cc:35:10: error: no matching function for call to 'f(X)'
f(X{});
^
prog.cc:21:6: note: candidate: void f(T&) [with T = X]
void f(T&) {}
^
prog.cc:21:6: note: constraints not satisfied
prog.cc:13:14: note: within 'template<class T> concept const bool is_container<T> [with T = X]'
concept bool is_container = requires(T c)
^~~~~~~~~~~~
prog.cc:13:14: note: with 'X c'
prog.cc:13:14: note: the required expression 'c.size()' would be ill-formed
prog.cc:13:14: note: the required expression 'c.begin()' would be ill-formed
prog.cc:13:14: note: the required expression 'c.end()' would be ill-formed
prog.cc:13:14: note: the required expression 'c.empty()' would be ill-formed
prog.cc:13:14: note: the required type 'typename T::value_type' would be ill-formed
prog.cc:13:14: note: the required type 'typename T::iterator' would be ill-formed
prog.cc:24:6: note: candidate: void f(T&) [with T = X]
void f(T&) {}
^
prog.cc:24:6: note: constraints not satisfied
prog.cc:10:14: note: within 'template<class T> concept const bool is_calc<T> [with T = X]'
concept bool is_calc = requires { T::calc(); };
^~~~~~~
prog.cc:10:14: note: the required expression 'T:: calc()' would be ill-formed
prog.cc:27:6: note: candidate: void f(T&) [with T = X]
void f(T&) {}
^
prog.cc:27:6: note: constraints not satisfied
prog.cc:2:14: note: within 'template<class T> concept const bool is_acceptable<T> [with T = X]'
concept bool is_acceptable = requires(T x, int i)
^~~~~~~~~~~~~
prog.cc:2:14: note: with 'X x'
prog.cc:2:14: note: with 'int i'
prog.cc:2:14: note: the required type 'typename T::result_type' would be ill-formed
prog.cc:2:14: note: the required expression 'T:: set_limit(i)' would be ill-formed
prog.cc:2:14: note: the required expression 'x.get_result()' would be ill-formed
prog.cc:29:6: note: candidate: void f(int)
void f(int) {}
^
prog.cc:29:6: note: no known conversion for argument 1 from 'X' to 'int'
Exit Code:
1