This post gave me the idea that maybe it could be spelled ~mut instead of inout? Instead of C: constness, we have M: mutability which applies to all ~mut uses within the function/struct/etc.
I wonder if this would allow one to write Iter and IterMut impls with a single syntax in some way?