pub struct RegionOverlapError {
pub cell: StateCellId,
pub regions: (Region, Region),
}Expand description
The loud, typed diagnosis check_region_disjoint returns instead of a
generic “overlap detected” (ARCHITECTURE §7 item 9’s “loud, typed,
diagnosable” discipline applied here): names the offending cell and both
of the (in assignments-slice-order) conflicting regions it was claimed
by.
Fields§
§cell: StateCellId§regions: (Region, Region)Trait Implementations§
Source§impl Clone for RegionOverlapError
impl Clone for RegionOverlapError
impl Copy for RegionOverlapError
Source§impl Debug for RegionOverlapError
impl Debug for RegionOverlapError
impl Eq for RegionOverlapError
Source§impl PartialEq for RegionOverlapError
impl PartialEq for RegionOverlapError
impl StructuralPartialEq for RegionOverlapError
Auto Trait Implementations§
impl Freeze for RegionOverlapError
impl RefUnwindSafe for RegionOverlapError
impl Send for RegionOverlapError
impl Sync for RegionOverlapError
impl Unpin for RegionOverlapError
impl UnsafeUnpin for RegionOverlapError
impl UnwindSafe for RegionOverlapError
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.