Verify iter adapter unsafe methods + safe abstractions (challenge #16) - #602

Verify iter adapter unsafe methods + safe abstractions (challenge #16)#602

MavenRain wants to merge 5 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

MavenRain:16-iter-adaptersMavenRain/verify-rust-std:16-iter-adaptersCopy head branch name to clipboard