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