135 pub struct Check<I: Invariant, B: AsRef<str> + 'static = String> {  struct
157 /// Invariant for a [`Ck`] or [`Check`].  argument
248 impl<I: Invariant, B: AsRef<str>> Check<I, B> {  implementation
272 impl<I, B> fmt::Debug for Check<I, B>  implementation
282 impl<I, B1, B2> PartialEq<Check<I, B2>> for Check<I, B1>  implementation
293 impl<I, B1, B2> PartialOrd<Check<I, B2>> for Check<I, B1>  implementation
304 impl<I: Invariant, B: AsRef<str>> Eq for Check<I, B> {}  implementation
306 impl<I: Invariant, B: AsRef<str>> Ord for Check<I, B> {  implementation
312 impl<I: Invariant, B: AsRef<str>> hash::Hash for Check<I, B> {  implementation
318 impl<I: Invariant, B: AsRef<str>> ops::Deref for Check<I, B> {  implementation
326 impl<I: Invariant, B: AsRef<str>> AsRef<Ck<I>> for Check<I, B> {  implementation
332 impl<I: Invariant, B: AsRef<str>> AsRef<str> for Check<I, B> {  implementation
338 impl<I: Invariant, B: AsRef<str>> borrow::Borrow<Ck<I>> for Check<I, B> {  implementation
344 impl<I: Invariant, B: AsRef<str>> fmt::Display for Check<I, B> {  implementation
350 impl<'a, I, B> From<&'a Ck<I>> for Check<I, B>  implementation
360 impl<I, B> str::FromStr for Check<I, B>  implementation