pub trait InvisibleExtManual: IsA<Invisible> + Sealed + 'static { // Provided method fn screen(&self) -> Option<Screen> { ... } }