pub trait AugDictExtra: Default {
// Required method
fn comp_add(
left: &mut CellSlice<'_>,
right: &mut CellSlice<'_>,
b: &mut CellBuilder,
cx: &mut dyn CellContext,
) -> Result<(), Error>;
}Expand description
A trait for values that can be used as augmented values in an augmented dictionary.
Required Methods§
Sourcefn comp_add(
left: &mut CellSlice<'_>,
right: &mut CellSlice<'_>,
b: &mut CellBuilder,
cx: &mut dyn CellContext,
) -> Result<(), Error>
fn comp_add( left: &mut CellSlice<'_>, right: &mut CellSlice<'_>, b: &mut CellBuilder, cx: &mut dyn CellContext, ) -> Result<(), Error>
Merges two augmented values.
§Parameters
left- The left branch (should start withextra).right- The right branch (should start withextra).b- The builder to store the result (onlyextra).cx- The cell context.
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.