Added test for overload resolution based on generic pointers' value_type, and fixed corresponding failures.