pub trait SubTypeExtension { // Required method fn has_sub_type(&self, other_type_name: &str) -> bool; }