pub trait TowerLevelWithArithOps: TowerLevel {
// Provided methods
fn add_into<T: AddAssign + Copy>(
field_element: &Self::Data<T>,
destination: &mut Self::Data<T>,
) { ... }
fn copy_into<T: Copy>(
field_element: &Self::Data<T>,
destination: &mut Self::Data<T>,
) { ... }
fn sum<T: Copy + Add<Output = T>>(
field_element_a: &Self::Data<T>,
field_element_b: &Self::Data<T>,
) -> Self::Data<T> { ... }
}Provided Methods§
fn add_into<T: AddAssign + Copy>( field_element: &Self::Data<T>, destination: &mut Self::Data<T>, )
fn copy_into<T: Copy>( field_element: &Self::Data<T>, destination: &mut Self::Data<T>, )
fn sum<T: Copy + Add<Output = T>>( field_element_a: &Self::Data<T>, field_element_b: &Self::Data<T>, ) -> Self::Data<T>
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.