pub trait TypeExt {
// Required methods
fn concrete_typename(&self) -> &str;
fn is_subtype(&self, sub: &Type) -> bool;
}
pub trait TypeExt {
// Required methods
fn concrete_typename(&self) -> &str;
fn is_subtype(&self, sub: &Type) -> bool;
}