{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"self.add_wf_bounds(args,"}]}
        self.add_wf_bounds(args, expr.span);
        let args = self.typeck_results.borrow().node_args(expr.hir_id);