1 // PR c++/58080
2 // { dg-do compile { target c++11 } }
3 
4 template<class A, class B>
5 struct Eval
6 {
fooEval7   void foo(A a, B b) { bar(a,b, 0); }
8   auto bar(A a, B b, decltype(a+b)* _) -> decltype(a+b) { return a+b; }  // { dg-error "pointer" }
9 };
10 
main()11 int main()
12 {
13   Eval<int,void*> eiv; eiv.foo(0,0);
14 }
15