Trait IndexableType 

pub trait IndexableType: Type {
    // Required method
    fn indexed_type(&self, ctx: &Context) -> TypeHandle;

    // Provided method
    fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>
       where Self: Sized { ... }
}

Required Methods

fn indexed_type(&self, ctx: &Context) -> TypeHandle

Provided Methods

fn verify(_op: &dyn Type, _ctx: &Context) -> Result<()>

where Self: Sized,

Trait Implementations

impl TypeImplsInterface<dyn IndexableType> for ArrayType

impl TypeImplsInterface<dyn IndexableType> for RuntimeArrayType

impl TypeInterfaceMarker for dyn IndexableType

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl IndexableType for ArrayType

impl IndexableType for RuntimeArrayType