Trait TypeInterfaceExt

pub trait TypeInterfaceExt: TypeInterface {
    // Provided method
    fn common_iface_fields<'a>(
        &'a self,
        rhs: &'a Self,
    ) -> impl Iterator<Item = (&'a Interned<str>, &'a Ty, &'a Ty)> { ... }
}

Extension common methods for TypeInterface.

Provided Methods

fn common_iface_fields<'a>( &'a self, rhs: &'a Self, ) -> impl Iterator<Item = (&'a Interned<str>, &'a Ty, &'a Ty)>

Convenience method to get the common fields of two records.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T: TypeInterface> TypeInterfaceExt for T