Re: [PATCH] Implement resolution of LWG DR 685 precisely

2016-08-23 Thread Jonathan Wakely
On 23/08/16 11:19 +0100, Jonathan Wakely wrote: As Casey pointed out, our operator- overloads for reverse_iterator and move_iterator are not conforming. For reverse_iterator the overload taking a single template argument is not SFINAE friendly, and for move_iterator it enables some expressions

[PATCH] Implement resolution of LWG DR 685 precisely

2016-08-23 Thread Jonathan Wakely
As Casey pointed out, our operator- overloads for reverse_iterator and move_iterator are not conforming. For reverse_iterator the overload taking a single template argument is not SFINAE friendly, and for move_iterator it enables some expressions that aren't supposed to be valid. This removes