pub trait PinnedTypesAccess { // Required method fn pinned_types(&mut self, count: usize) -> Result<Vec<u32>>; // Provided method fn deconstruct_pinned_types(&mut self) -> Result<(u32, u32, u32)> { ... } }