1mod sealed { 2 pub trait Sealed<T> {} 3} 4 5pub trait Equals<T>: sealed::Sealed<T> {} 6 7impl<T> sealed::Sealed<T> for T {} 8impl<T> Equals<T> for T {}