pub trait Code<T>: Clone + Debug + Display + FromStr + Into<T> + PartialEq + Eq + Hash { fn is_valid<S>(s: S) -> bool where S: AsRef<str>, { ... } }