1// { dg-do compile }
2
3// Origin: Lynn Akers <lakers@peachtree.com>
4//	   Wolfgang Bangerth <bangerth@ticam.utexas.edu>
5
6// PR c++/10956: Incorrect template substitution for member template
7// specialization inside template class.
8
9template <int> struct C {
10    template<typename T> void pre_add(T);
11};
12
13template<>
14template<typename T>
15void C<32>::pre_add(T) {
16  T pre;
17}
18
19int main() {
20  C<32>().pre_add<int>(1);
21}
22