pub fn inv<T: ?Sized>(_: T) -> boolExpand description
Whether the invariant of a value holds
This function is functionnaly equivalent to Invariant::invariant, except that it
can be called on any type (even if it does not implement Invariant).
(open, prophetic, inline)
dead