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