Trait cairo_lang_sierra::extensions::types::GenericTypeEx

pub trait GenericTypeEx: GenericType {
    // Required method
    fn specialize_by_id(
        context: &dyn TypeSpecializationContext,
        type_id: &GenericTypeId,
        args: &[GenericArg]
    ) -> Result<Self::Concrete, ExtensionError>;
}

Trait for introducing helper methods on GenericType.

Required Methods

fn specialize_by_id( context: &dyn TypeSpecializationContext, type_id: &GenericTypeId, args: &[GenericArg] ) -> Result<Self::Concrete, ExtensionError>

Object Safety

This trait is not object safe.

Implementors

impl<TGenericType: GenericType> GenericTypeEx for TGenericType