pub trait CallableOpInterface: Op {
// Required methods
fn callable_region(&self, ctx: &Context) -> Option<Ptr<Region>>;
fn argument_types(&self, ctx: &Context) -> Vec<TypeHandle>;
fn result_types(&self, ctx: &Context) -> Vec<TypeHandle>;
// Provided method
fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>
where Self: Sized { ... }
}Required Methods§
fn callable_region(&self, ctx: &Context) -> Option<Ptr<Region>>
fn argument_types(&self, ctx: &Context) -> Vec<TypeHandle>
fn result_types(&self, ctx: &Context) -> Vec<TypeHandle>
Provided Methods§
Trait Implementations§
impl OpInterfaceMarker for dyn CallableOpInterface
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".