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