{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"TyKind::FnDef(def,"}]}
            TyKind::FnDef(def, subst) => {
        match &func_ty.kind(Interner) {
                self.exec_fn_def(*def, subst, destination, &args[1..], locals, target_bb, span)