test/SemaTemplate/overload-candidates.cpp

   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
   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
  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
  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
  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
  38 void test_X_min(X x) {
  39   (void)x.min(1, 2l); // expected-error{{no matching member function for call to 'min'}}
  40 }