pub trait Print<'tcx, P> { // Required method fn print(&self, p: &mut P) -> Result<(), PrintError>; }