(
&mut self,
w: &mut dyn Write,
func: &Function,
entity: AnyEntity,
value: &dyn fmt::Display,
)
| 66 | } |
| 67 | |
| 68 | fn write_entity_definition( |
| 69 | &mut self, |
| 70 | w: &mut dyn Write, |
| 71 | func: &Function, |
| 72 | entity: AnyEntity, |
| 73 | value: &dyn fmt::Display, |
| 74 | ) -> fmt::Result { |
| 75 | pretty_preamble_error(w, func, entity, value, &mut *self.0, self.1) |
| 76 | } |
| 77 | } |
| 78 | |
| 79 | /// Pretty-print a function verifier error for a given block. |
no test coverage detected