overload-candidates.cpp revision b8590f3572158bde97f14037c4cc8f4a57c8d810 
1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3template<typename T>
4const T& min(const T&, const T&); // expected-note{{candidate template ignored: deduced conflicting types for parameter 'T' ('int' vs. 'long')}}
5
6void test_min() {
7  (void)min(1, 2l); // expected-error{{no matching function for call to 'min'}}
8}
9
10template<typename R, typename T>
11R *dyn_cast(const T&); // expected-note{{candidate template ignored: couldn't infer template argument 'R'}}
12
13void test_dyn_cast(int* ptr) {
14  (void)dyn_cast(ptr); // expected-error{{no matching function for call to 'dyn_cast'}}
15}
16
17template<int I, typename T>
18  void get(const T&); // expected-note{{candidate template ignored: invalid explicitly-specified argument for template parameter 'I'}}
19template<template<class T> class, typename T>
20  void get(const T&); // expected-note{{candidate template ignored: invalid explicitly-specified argument for 1st template parameter}}
21
22void test_get(void *ptr) {
23  get<int>(ptr); // expected-error{{no matching function for call to 'get'}}
24}
25
26template<typename T>
27  typename T::type get_type(const T&); // expected-note{{candidate template ignored: substitution failure [with T = int *]: type 'int *' cannot be used prior to '::'}}
28template<typename T>
29  void get_type(T *, int[(int)sizeof(T) - 9] = 0); // expected-note{{candidate template ignored: substitution failure [with T = int]: array size is negative}}
30
31void test_get_type(int *ptr) {
32  (void)get_type(ptr); // expected-error{{no matching function for call to 'get_type'}}
33}
34
35struct X {
36  template<typename T>
37  const T& min(const T&, const T&); // expected-note{{candidate template ignored: deduced conflicting types for parameter 'T' ('int' vs. 'long')}}
38};
39
40void test_X_min(X x) {
41  (void)x.min(1, 2l); // expected-error{{no matching member function for call to 'min'}}
42}
43