pub trait SimplifyInterface: Op {
// Required method
fn check_fold(
&self,
ctx: &Context,
operand_attrs: &[Option<AttrObj>],
) -> Option<Value>;
// Provided method
fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>
where Self: Sized { ... }
}Required Methods§
Provided Methods§
Trait Implementations§
impl OpInterfaceMarker for dyn SimplifyInterface
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".