Verify safety of iterator adapter functions (Challenge 16) - #549

Verify safety of iterator adapter functions (Challenge 16)#549

kasimte wants to merge 20 commits into

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

kasimte:challenge-16kasimte/verify-rust-std:challenge-16Copy head branch name to clipboard