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 <typename n, typename x> struct Trait { enum {m = sizeof (n)}; };
12 
13 template <typename n, typename x> R<Trait<n,x>::m> f(A<x>);
14 template <> R<Trait<char,char>::m> f<char>(A<char>) {return R<1>();}
15