37 lines · cpp
1// RUN: %clang_cc1 -std=c++1y -fsyntax-only -verify %s2 3// -- The argument list of the specialization shall not be identical4// to the implicit argument list of the primary template.5 6template<typename T, int N, template<typename> class X> int v1;7template<typename T, int N, template<typename> class X> int v1<T, N, X>;8// expected-error@-1{{variable template partial specialization does not specialize any template argument; to define the primary template, remove the template argument list}}9 10template<typename...T> int v2;11template<typename...T> int v2<T...>;12// expected-error@-1{{variable template partial specialization does not specialize any template argument; to define the primary template, remove the template argument list}}13 14template<int...N> int v3;15template<int...N> int v3<N...>;16// expected-error@-1{{variable template partial specialization does not specialize any template argument; to define the primary template, remove the template argument list}}17 18template<template<typename> class...X> int v4;19template<template<typename> class...X> int v4<X...>;20// expected-error@-1{{variable template partial specialization does not specialize any template argument; to define the primary template, remove the template argument list}}21 22template<typename Outer> struct X {23 template<typename Inner> static int y;24 // FIXME: It would be preferable to only diagnose this once.25 template<typename Inner> static int y<Outer>; // expected-error 3{{cannot be deduced}} expected-note 3{{'Inner'}}26 template<typename Inner> static int y<Inner>; // expected-error {{does not specialize}}27 28 template<typename, int> static int z;29 template<Outer N> static int z<int, N>; // expected-error {{not implicitly convertible}}30};31template<typename Outer> template<typename Inner> int X<Outer>::y<Outer>; // expected-error {{cannot be deduced}} expected-note {{'Inner'}}32template<typename Outer> template<typename Inner> int X<Outer>::y<Inner>; // expected-error {{does not specialize}}33template<> template<typename Inner> int X<int>::y<Inner>; // expected-error {{does not specialize}} expected-note {{instantiation of}}34 35X<int> xi;36X<int*> xf; // expected-note {{instantiation of}}37