{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.exec_fn_def(*def, generic_args, destination, args, locals, target_bb, span)
            TyKind::Closure(id, subst) => {