[Bug c++/12643] Can't infer type of pointer-to-member template argument

[braden at endoframe dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12643



------- Additional Comments From braden at endoframe dot com  2003-10-16 17:23 -------
Created an attachment (id=4944)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=4944&action=view)
Test case

Attempting to compile this yields this error message:

$ g++ -o infer_template_arg_test infer_template_arg_test.cc
infer_template_arg_test.cc: In function `int main()':
infer_template_arg_test.cc:14: error: no matching function for call to `f(
   main()::int_map&, <unknown type>, std::_Rb_tree_iterator<std::pair<const
   int, int>, std::pair<const int, int>&, std::pair<const int, int>*>)'

If the template arguments are explicitly given when invoking the function, this
compiles.