gcc/testsuite/g++.dg/template/explicit3.C

   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 <int n> class A {};
   9 template <int m> class R {};
  10
  11 template <int n, int x> struct Trait { enum {m = n}; };
  12
  13 template <int n, int x> R<Trait<n,x>::m> f(A<x>);
  14 template <> R<Trait<1,1>::m> f<1>(A<1>) {return R<1>();}
  15
  16 void Baz ()
  17 {
  18   R<Trait<1,1>::m> (*ptr) (A<1>);
  19
  20   ptr = &f<1>;
  21
  22 }