Trait SliceAdditionalExecFns 

pub trait SliceAdditionalExecFns<T> {
    // Required method
    exec fn set(&mut self, idx: usize, t: T);
}

Required Methods

exec fn set(&mut self, idx: usize, t: T)

👎Deprecated:

use slice[i] = value instead

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl<T> SliceAdditionalExecFns<T> for [T]

exec fn set(&mut self, idx: usize, t: T)

👎Deprecated:

use slice[i] = value instead

requires

0 <= idx < old(self)@.len(),

ensures

final(self)@ == old(self)@.update(idx as int, t),

Implementors