{"ast_node_type":"variable","tokens":[{"end":66,"kind":"keyword","start":0,"text":"let"}]}
        let args = self.infcx.resolve_vars_if_possible(args.args);
        }
        let predicates = self.prove_closure_bounds(tcx, def_id, args, Locations::All(span));