pub trait Ty {
// Required method
fn ty(&self) -> Type;
// Provided method
fn inner_ty(&self) -> Type { ... }
}pub trait Ty {
// Required method
fn ty(&self) -> Type;
// Provided method
fn inner_ty(&self) -> Type { ... }
}