Trait GetterTraitsEx

pub trait GetterTraitsEx: Default {
    const STR_ID: &'static str;

    // Required method
    fn info_type_id(
        context: &dyn SignatureSpecializationContext,
    ) -> Result<ConcreteTypeId, SpecializationError>;
}

Same as GetterTraits, but with a function to return the concrete TypeId.

Required Associated Constants

const STR_ID: &'static str

The generic libfunc id for the getter libfunc.

Required Methods

fn info_type_id( context: &dyn SignatureSpecializationContext, ) -> Result<ConcreteTypeId, SpecializationError>

The simple sierra generic type returned by the getter.

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 GetterTraitsEx for GetExecutionInfoTrait

const STR_ID: &'static str = "get_execution_info_syscall"

impl GetterTraitsEx for GetExecutionInfoV2Trait

const STR_ID: &'static str = "get_execution_info_v2_syscall"

impl<TGetterTraits: GetterTraits> GetterTraitsEx for TGetterTraits

const STR_ID: &'static str = TGetterTraits::STR_ID