1 // RUN: %clang_cc1 %s -fsyntax-only -verify
2
3 // PR11179
4 template <short T> class Type1 {};
Function1(Type1<T> & x)5 template <short T> void Function1(Type1<T>& x) {} // expected-note{{candidate function [with T = -42] not viable: no known conversion from 'Type1<-42>' to 'Type1<-42> &' for 1st argument;}}
6
7 template <unsigned short T> class Type2 {};
Function2(Type2<T> & x)8 template <unsigned short T> void Function2(Type2<T>& x) {} // expected-note{{candidate function [with T = 42] not viable: no known conversion from 'Type2<42>' to 'Type2<42> &' for 1st argument;}}
9
Function()10 void Function() {
11 Function1(Type1<-42>()); // expected-error{{no matching function for call to 'Function1'}}
12 Function2(Type2<42>()); // expected-error{{no matching function for call to 'Function2'}}
13 }
14