1 // PR c++/90505 - mismatch in template argument deduction.
2 // { dg-do compile { target c++11 } }
3 
4 template <typename T>
5 struct S {
6   template <typename U, typename V = void>
fooS7   static void foo(U) { }
8 
barS9   void bar () { foo<int>(10); }
10 };
11 
12 void
test()13 test ()
14 {
15   S<int> s;
16   s.bar ();
17 }
18