// { dg-do compile } // Copyright (C) 2003 Free Software Foundation, Inc. // Contributed by Nathan Sidwell 24 Mar 2003 <nathan@codesourcery.com> // PR 10119 (part). We failed to tsubst the args of a template-id-expr template <class T, void (T::* const U)()> struct Good { static int const value = 0; }; struct A { template <typename U> void good () { int s_id = Good<A, &A::good<U> >::value; } }; int main() { A().good<int>(); }