{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"for"}]}
            for e in args {
            assert_eq!(self.diverges.get(), Diverges::Maybe);
                let e_ty = self.check_expr_with_hint(e, coerce_to);