pub trait HasConcrete: MakeOpDef {
type Concrete: MakeExtensionOp;
// Required method
fn instantiate(
&self,
type_args: &[TypeArg],
) -> Result<Self::Concrete, OpLoadError>;
}Expand description
MakeOpDef with an associate concrete Op type which can be instantiated with type arguments.
Required Associated Types§
Sourcetype Concrete: MakeExtensionOp
type Concrete: MakeExtensionOp
Associated concrete type.
Required Methods§
Sourcefn instantiate(
&self,
type_args: &[TypeArg],
) -> Result<Self::Concrete, OpLoadError>
fn instantiate( &self, type_args: &[TypeArg], ) -> Result<Self::Concrete, OpLoadError>
Instantiate the operation with type arguments.