1 2 3 4 5 6 7 8 9 10 11 12 13
use crate::invariant::Invariant; impl<K: std::fmt::Display> std::fmt::Display for Invariant<K> { fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { write!( f, "{} [{}] on {}", self.id.as_str(), self.kind(), self.scope ) } }