{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"RigidTy::FnDef(def,"}]}
            RigidTy::FnDef(def, args) => {
            RigidTy::Foreign(def) => rustc_ty::TyKind::Foreign(def.0.internal(tables, tcx)),
                rustc_ty::TyKind::FnDef(def.0.internal(tables, tcx), args.internal(tables, tcx))