{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"ty::Slice(ty)"}]}
            ty::Slice(ty) => TyKind::RigidTy(RigidTy::Slice(ty.stable(tables, cx))),
            }
            ty::RawPtr(ty, mutbl) => {