[Bug c++/56874] Argument deduction failure due to non-deduced context

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Argument deduction failure  |Argument deduction failure
                   |with lambda and default     |due to non-deduced context
                   |template argument           |

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-04-08 13:01:44 UTC ---
Reduced to remove the lambda and default template argument:

template<typename T>
struct function
{
    function(int)
    { }
};

struct V {
  typedef int value_type;
};

template <typename C>
void map(C&, function<typename C::value_type>)
{
}

int main()
{
  V v;
  map(v, 1);
}