id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
13346,SFINAE-friendly range_value,marc.glisse@…,Neil Groves,"This code compiles:

{{{
#include <boost/range/value_type.hpp>
#include <utility>
#include <iterator>

template<class T>
void f(std::pair<T,T>){}

template<class T>
auto f(T) -> typename std::iterator_traits<typename boost::range_iterator<T>::type>::value_type {}

int main(){
  std::pair<int,int> p;
  f(p);
}
}}}

However, if I change the return type to the more readable `typename boost::range_value<T>::type`, it now fails to compile because the broken typedef in iterator_value is not in the immediate context. The standard noticed that this was useful and made iterator_traits SFINAE-friendly, it would be nice if boost could do the same for the various range meta-functions.",Feature Requests,new,To Be Determined,range,Boost 1.62.0,Problem,,sfinae,