{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"for"}]}
        for (input, ty) in iter::zip(decl.inputs, fty.inputs().skip_binder()) {
        };
            check(input, *ty)