[single-pass-iter] additional documentation and assertions