error: no matching function for call to ‘pet(lizard)’
Function
main
File
../../src/gcc/testsuite/g++.dg/concepts/nested-diagnostics-1.C
Line
26
Column
6
26 | | pet(lizard{}); // { dg-error "no matching function for call to 'pet\\\(lizard\\\)'" } |
| | ~~~^~~~~~~~~~ |
-
-
candidate 1: ‘template<class auto:1> requires pettable<auto:1> void pet(auto:1)’
Line
21
Column
6
21 | | void pet(pettable auto t); |
| | ^~~ |
-
template argument deduction/substitution failed:
-
constraints not satisfied
-
no operand of the disjunction is satisfied
Function
pet
Line
19
Column
38
19 | | concept pettable = has_member_pet<T> or has_default_pet<T>; |
| | ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~ |
-
set ‘-fconcepts-diagnostics-depth=’ to at least 2 for more detail
Function
main
-
candidate 2: ‘void pet(dog)’
Line
9
Column
6
-
no known conversion for argument 1 from ‘lizard’ to ‘dog’
Line
9
Column
10
-
candidate 3: ‘void pet(cat)’
Line
10
Column
6
-
no known conversion for argument 1 from ‘lizard’ to ‘cat’
Line
10
Column
10