pub trait UniformRegionTerminatorOpInterface: Op + RegionBranchTerminatorOpInterface {
// Required method
fn successor_region_uniformity(
&self,
ctx: &Context,
operands: &[Uniformity],
) -> Vec<Uniformity>;
// Provided methods
fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>
where Self: Sized { ... }
fn all_successor_regions(&self, ctx: &Context) -> Vec<RegionSuccessor> { ... }
}Required Methods§
fn successor_region_uniformity( &self, ctx: &Context, operands: &[Uniformity], ) -> Vec<Uniformity>
Provided Methods§
fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>where
Self: Sized,
fn all_successor_regions(&self, ctx: &Context) -> Vec<RegionSuccessor>
Trait Implementations§
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".