Struct MaintenanceBudget

Source

pub struct MaintenanceBudget {
    pub max_source_entries: usize,
    pub max_derived_entries: usize,
    pub max_verification_findings: usize,
    pub max_accounted_memory_bytes: usize,
    pub max_spill_bytes: usize,
    pub max_spill_runs: usize,
    pub max_merge_fan_in: usize,
    pub max_cas_attempts: usize,
    pub max_elapsed: Duration,
}

Fields§

§max_source_entries: usize§max_derived_entries: usize§max_verification_findings: usize§max_accounted_memory_bytes: usize§max_spill_bytes: usize§max_spill_runs: usize§max_merge_fan_in: usize§max_cas_attempts: usize§max_elapsed: Duration

Struct MaintenanceBudget Copy item path

Fields§

Implementations§

impl MaintenanceBudget

pub fn validate(&self) -> Result<(), Error>

Trait Implementations§

impl Clone for MaintenanceBudget

fn clone(&self) -> MaintenanceBudget

fn clone_from(&mut self, source: &Self)

impl Debug for MaintenanceBudget

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl Default for MaintenanceBudget

fn default() -> Self

impl Eq for MaintenanceBudget

impl PartialEq for MaintenanceBudget

fn eq(&self, other: &MaintenanceBudget) -> bool

fn ne(&self, other: &Rhs) -> bool

impl StructuralPartialEq for MaintenanceBudget

Auto Trait Implementations§

impl Freeze for MaintenanceBudget

impl RefUnwindSafe for MaintenanceBudget

impl Send for MaintenanceBudget

impl Sync for MaintenanceBudget

impl Unpin for MaintenanceBudget

impl UnsafeUnpin for MaintenanceBudget

impl UnwindSafe for MaintenanceBudget

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct MaintenanceBudget

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,