1 // PR c++/57638
2
3 template<int x>
4 struct S {};
5
6 template<long long i>
7 void g(S<i>);
8
f()9 void f()
10 {
11 S<1000> t;
12 g(t); // { dg-error "no matching" }
13 } // { dg-message "mismatched types 'long long int' and 'int'" "" { target *-*-* } .-1 }
14