pub fn is_possible_type(
        &self,
        abstract_type: &MetaType<S>,
        possible_type: &MetaType<S>,
    ) -> bool {
        self.possible_types(abstract_type)
            .into_iter()
            .any(|t| (t as *const MetaType<S>) == (possible_type as *const MetaType<S>))
    }
/// If the abstract type is possible.
If the abstract type is possible.
If the abstract type is possible .
pub fn is_possible_type(
        &self,
        abstract_type: &MetaType<S>,
        possible_type: &MetaType<S>,
    ) -> bool {
        self.possible_types(abstract_type)
            .into_iter()
            .any(|t| (t as *const MetaType<S>) == (possible_type as *const MetaType<S>))
    }
pub fn is_possible_type ( & self , abstract_type : & MetaType < S > , possible_type : & MetaType < S > , ) -> bool { self . possible_types ( abstract_type ) . into_iter ( ) . any ( | t | ( t as * const MetaType < S > ) == ( possible_type as * const MetaType < S > ) ) }
If the abstract type is possible.
If the abstract type is possible .
&self
abstract_type
&MetaType<S>
possible_type
&MetaType<S>
&self
abstract_type
&MetaType<S>
possible_type
&MetaType<S>