[boost] [iterator] Using iterator_facade with range-v3

I'm having trouble using iterators implemented in terms of boost::iterator_facade with the range-v3 library. The problem is decltype(it++) which in my case is postfix_increment_proxy<>, desn't model the Readable concept, because it isn't DefaultConstructible and doesn't have a ppublic value_type nested typedef. To me it seems reasonable to require decltype(it++) to model Readable, so I created a ticket (a test case and a patch with the proposed solution included) please see: https://svn.boost.org/trac/boost/ticket/12071 See also the discussion at range-v3: https://github.com/ericniebler/range-v3/issues/304 Kind regards, Kris