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