Function validate_iterator 

fn validate_iterator(
    ltype: ListType,
    it_name: &Token,
    block: &Block,
    data: &Everything,
    sc: &mut ScopeContext,
    check_desc: bool,
)

Validate a block inside an iterator that’s part of a script value. Checks some fields and then relies on validate_inner for the heavy lifting.