pub struct AdmissionReject {
pub axis: ConfinedAxis,
pub relation: ScopeRelation,
}Expand description
The reason an admission is refused (L3 + L7): the axis whose resolved fence exceeded its bound, and how.
Fields§
§axis: ConfinedAxis§relation: ScopeRelationTrait Implementations§
Source§impl Clone for AdmissionReject
impl Clone for AdmissionReject
Source§impl Debug for AdmissionReject
impl Debug for AdmissionReject
impl Eq for AdmissionReject
Source§impl PartialEq for AdmissionReject
impl PartialEq for AdmissionReject
impl StructuralPartialEq for AdmissionReject
Auto Trait Implementations§
impl Freeze for AdmissionReject
impl RefUnwindSafe for AdmissionReject
impl Send for AdmissionReject
impl Sync for AdmissionReject
impl Unpin for AdmissionReject
impl UnsafeUnpin for AdmissionReject
impl UnwindSafe for AdmissionReject
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