Trait VecAdditionalExecFns 

pub trait VecAdditionalExecFns<T> {
    // Required methods
    fn set(&mut self, i: usize, value: T);
    fn set_and_swap(&mut self, i: usize, value: &mut T);
}

Required Methods

fn set(&mut self, i: usize, value: T)

fn set_and_swap(&mut self, i: usize, value: &mut T)

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<T> VecAdditionalExecFns<T> for Vec<T>

Available on crate feature alloc only.

fn set(&mut self, i: usize, value: T)

Replacement for self[i] = value; (which Verus does not support for technical reasons)

fn set_and_swap(&mut self, i: usize, value: &mut T)

Replacement for swap(&mut self[i], &mut value) (which Verus does not support for technical reasons)

Implementors