I know this is an old bug, but I'd like to express support for the idea of breaking partway out of a forvec. It's common to have a problem where reading the first k elements of the vector suffices to determine that it lacks the desired property, and rather than making this determination many times skipping to the next element would be a big win.