Yes it could. It would require expanding the iterators with an additional struct field just to keep a counter for the size hint -- is that the standard to do, is that really worth it?