use sealed::sealed; #[sealed] pub trait r#Pub {} #[sealed] impl r#Pub> for T {} #[sealed] impl r#Pub> for Option {} fn main() {}