1 // { dg-do compile } 2 3 // Copyright (C) 2003 Free Software Foundation, Inc. 4 // Contributed by Nathan Sidwell 27 Jul 2003 <nathan@codesourcery.com> 5 6 // Failed to spot specialization using a template-id expr 7 8 template <typename n> class A {}; 9 template <int m> class R {}; 10 11 template <int n, int x> struct Trait { enum {m = n}; }; 12 13 template <typename n, typename x> R<Trait<1,1>::m> f(A<x>); 14 template <> R<Trait<1,1>::m> f<int>(A<int>) {return R<1>();} 15