pub trait GenericLibfuncEx: GenericLibfunc {
// Required methods
fn specialize_signature_by_id(
context: &dyn SignatureSpecializationContext,
libfunc_id: &GenericLibfuncId,
args: &[GenericArg],
) -> Result<LibfuncSignature, ExtensionError>;
fn specialize_by_id(
context: &dyn SpecializationContext,
libfunc_id: &GenericLibfuncId,
args: &[GenericArg],
) -> Result<Self::Concrete, ExtensionError>;
}
Expand description
Trait for introducing helper methods on GenericLibfunc.
Required Methods§
fn specialize_signature_by_id( context: &dyn SignatureSpecializationContext, libfunc_id: &GenericLibfuncId, args: &[GenericArg], ) -> Result<LibfuncSignature, ExtensionError>
fn specialize_by_id( context: &dyn SpecializationContext, libfunc_id: &GenericLibfuncId, args: &[GenericArg], ) -> Result<Self::Concrete, ExtensionError>
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.