1a5728872c7702ddd09537c95bc3cbd20e1f2fb09Daniel Dunbar// RUN: %clang_cc1 -fsyntax-only -verify %s 2de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregortemplate<template<typename T> class MetaFun, typename Value> 3de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregorstruct apply { 4de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor typedef typename MetaFun<Value>::type type; 5de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor}; 6de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor 7de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregortemplate<class T> 8de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregorstruct add_pointer { 9de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor typedef T* type; 10de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor}; 11de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor 12de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregortemplate<class T> 13de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregorstruct add_reference { 14de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor typedef T& type; 15de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor}; 16de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregor 17de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregorint i; 18de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregorapply<add_pointer, int>::type ip = &i; 19de650ae96b53eb6109f29fdb5ee51c514259e6e4Douglas Gregorapply<add_reference, int>::type ir = i; 2052bb5d2a1474460707e5ca11656b2749a7a33a82Douglas Gregorapply<add_reference, float>::type fr = i; // expected-error{{non-const lvalue reference to type 'float' cannot bind to a value of unrelated type 'int'}} 219148c3f5829f4d031249faeb1043e7be914539e8Douglas Gregor 229148c3f5829f4d031249faeb1043e7be914539e8Douglas Gregor// Template template parameters 239148c3f5829f4d031249faeb1043e7be914539e8Douglas Gregortemplate<int> struct B; // expected-note{{has a different type 'int'}} 249148c3f5829f4d031249faeb1043e7be914539e8Douglas Gregor 259148c3f5829f4d031249faeb1043e7be914539e8Douglas Gregortemplate<typename T, 269148c3f5829f4d031249faeb1043e7be914539e8Douglas Gregor template<T Value> class X> // expected-error{{cannot have type 'float'}} \ 279148c3f5829f4d031249faeb1043e7be914539e8Douglas Gregor // expected-note{{with type 'long'}} 289148c3f5829f4d031249faeb1043e7be914539e8Douglas Gregorstruct X0 { }; 299148c3f5829f4d031249faeb1043e7be914539e8Douglas Gregor 309148c3f5829f4d031249faeb1043e7be914539e8Douglas GregorX0<int, B> x0b1; 319148c3f5829f4d031249faeb1043e7be914539e8Douglas GregorX0<float, B> x0b2; // expected-note{{while substituting}} 329148c3f5829f4d031249faeb1043e7be914539e8Douglas GregorX0<long, B> x0b3; // expected-error{{template template argument has different template parameters}} 33fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregor 34fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregortemplate<template<int V> class TT> // expected-note{{parameter with type 'int'}} 35fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregorstruct X1 { }; 36fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregor 37fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregortemplate<typename T, template<T V> class TT> 38fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregorstruct X2 { 39fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregor X1<TT> x1; // expected-error{{has different template parameters}} 40fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregor}; 41fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregor 42fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregortemplate<int V> struct X3i { }; 43fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregortemplate<long V> struct X3l { }; // expected-note{{different type 'long'}} 44fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas Gregor 45fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas GregorX2<int, X3i> x2okay; 46fb898e17cff919bd28b88e9d93301d6e2cc5cbd1Douglas GregorX2<long, X3l> x2bad; // expected-note{{instantiation}} 479f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne 489f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbournetemplate <typename T, template <T, T> class TT, class R = TT<1, 2> > 499f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbournestruct Comp { 509f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne typedef R r1; 519f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne template <T x, T y> struct gt { 529f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne static const bool result = x > y; 539f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne }; 549f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne typedef gt<2, 1> r2; 559f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne}; 569f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne 579f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbournetemplate <int x, int y> struct lt { 589f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne static const bool result = x < y; 599f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne}; 609f6f6a107287bd81aedab8b578216535b0b51d0fPeter Collingbourne 619f6f6a107287bd81aedab8b578216535b0b51d0fPeter CollingbourneComp<int, lt> c0; 629f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor 639f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregornamespace PR8629 { 649f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor template<template<int> class TT> struct X0 659f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor { 669f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor static void apply(); 679f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor }; 689f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor template<int> struct Type { }; 699f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor 709f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor template<class T> struct X1 719f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor { 729f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor template<class U> struct Inner; 739f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor 749f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor template<class U> void g() 759f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor { 769f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor typedef Inner<U> Init; 779f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor X0<Init::template VeryInner>::apply(); 789f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor } 799f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor template<int N> void f () 809f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor { 819f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor g<Type<N> >(); 829f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor } 839f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor }; 849f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor template<class T> template<class U> struct X1<T>::Inner 859f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor { 869f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor template<int> struct VeryInner { 879f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor }; 889f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor }; 899f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor struct X1Container 909f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor { 919f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor X1Container() 929f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor { 939f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor simplex_.f<0>(); 949f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor } 959f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor X1<double> simplex_; 969f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor }; 979f0f3cd94ac992bc6714b49ffe5272521ce12d77Douglas Gregor} 98