Trait RangeBoundsSpec 

pub trait RangeBoundsSpec<T: ?Sized>: RangeBounds<T> {
    // Required methods
    spec fn spec_start_bound(&self) -> Bound<&T>;
    spec fn spec_end_bound(&self) -> Bound<&T>;
}

Required Methods

spec fn spec_start_bound(&self) -> Bound<&T>

spec fn spec_end_bound(&self) -> Bound<&T>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<T: ?Sized, VERUS_SPEC__A: RangeBounds<T> + ?Sized> RangeBoundsSpec<T> for VERUS_SPEC__A