Do the Range TS and C++20 concepts for iterators require the ability to use `operator->`? : <p>I've searched through various Range TS proposals, including P0896, the one incorporating the ranges into C++20. It seems from my reading that the only requirement the <code>Iterator</code> concept makes in terms of dereferenceability is that <code>*t</code> be valid syntax that yields an object of some type.</p>

<p>Since <code>InputIterator</code> is defined in terms of being an <code>Iterator</code> and being <code>Readable</code>, neither of which requires <code>operator-&gt;</code> support, it appears that the Range TS and C++20 do not require that iterators provide <code>-&gt;</code> support.</p>

<p>Is this the case?</p>
