1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template<typename T> void f0(T) { } // expected-note{{previous}} 4 template<class U> void f0(U) { } // expected-error{{redefinition}} 5 6 template<int I> void f0() { } // expected-note{{previous}} 7 template<int> void f0() { } // expected-error{{redefinition}} 8 9 typedef int INT; 10 11 template<template<class T, T Value1, INT> class X> 12 void f0() { } // expected-note{{previous}} 13 template<template<typename T, T Value1, int> class> 14 void f0() { } // expected-error{{redefinition}} 15 16 template<typename T> 17 struct MetaFun; 18 19 template<typename T> 20 typename MetaFun<T*>::type f0(const T&) { while (1) {} } // expected-note{{previous}} 21 template<class U> 22 typename MetaFun<U*>::type f0(const U&) { while (1) {} } // expected-error{{redefinition}} 23 24 // FIXME: We need canonicalization of expressions for this to work 25 // template<int> struct A { }; 26 // template<int I> void f0(A<I>) { } // Xpected-note{{previous}} 27 // template<int J> void f0(A<J>) { } // Xpected-error{{redefinition}} 28
