1// Test unifying SCOPE_REF.
2// Origin: Marc Duflot <m.duflot@ulg.ac.be>
3// { dg-do compile }
4
5template <int n> class A {};
6template <int m> class R {};
7
8template <int n> struct Trait { enum {m = n}; };
9
10template <int n> R<Trait<n>::m> f(A<n>);
11template <> R<1> f(A<1>) {return R<1>();}
12