[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);

}