Allow missing @requires.
Merge branch 'iterator' into incoming