Trait cairo_lang_sierra::extensions::types::GenericTypeArgGenericType

source · 
pub trait GenericTypeArgGenericType: Default {
    const ID: GenericTypeId;

    // Required method
    fn calc_info(
        &self,
        long_id: ConcreteTypeLongId,
        wrapped_info: TypeInfo
    ) -> Result<TypeInfo, SpecializationError>;
}
Expand description

Trait for describing a generic type with a single type arg.

Required Associated Constants§

source

const ID: GenericTypeId

Required Methods§

source

fn calc_info( &self, long_id: ConcreteTypeLongId, wrapped_info: TypeInfo ) -> Result<TypeInfo, SpecializationError>

Returns the type info of the wrapping type.

Object Safety§

This trait is not object safe.

Implementors§