pub fn impl_type_name(ty: &Type) -> Option<String>
Extracts a displayable type name from an impl self type.