pub trait IsTerminal<T: ResolvedType> { // Provided method fn is_terminal(&mut self) -> bool { ... } }