pub trait IdentEnv: DisplayEnv { // Required method fn from_str(&mut self, s: &str) -> Self::Ident; }