[ 2017-07 Toronto Monday issue prioritization ]

Priority 2; also could affect the ranges TS

Previous resolution [SUPERSEDED]:

This wording is relative to N4659.

1. Change Table 95 — "Input iterator requirements", [input.iterators] as indicated:

   Table 107 — Input iterator requirements (in addition to Iterator)

   Expression	Return type	Operational semantics	Assertion/note pre-/post-condition
   …
   *a	reference, convertible to T that binds to const T&		[…]
   …
   *r++	convertible to T that binds to const T&	{ Tauto&& tmp = *r; ++r; return tmp; }