28 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify %s2 3template<typename T> void f0(T) { } // expected-note{{previous}}4template<class U> void f0(U) { } // expected-error{{redefinition}}5 6template<int I> void f0() { } // expected-note{{previous}}7template<int> void f0() { } // expected-error{{redefinition}}8 9typedef int INT;10 11template<template<class T, T Value1, INT> class X> 12 void f0() { } // expected-note{{previous}}13template<template<typename T, T Value1, int> class> 14 void f0() { } // expected-error{{redefinition}}15 16template<typename T>17struct MetaFun;18 19template<typename T>20 typename MetaFun<T*>::type f0(const T&) { while (1) {} } // expected-note{{previous}}21template<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 work25// 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