Struct miri::borrow_tracker::tree_borrows::tree::NodeAppArgs
source · struct NodeAppArgs<'node> {
node: &'node mut Node,
perm: UniEntry<'node, LocationState>,
rel_pos: AccessRelatedness,
}
Expand description
Data given to the transition function
Fields§
§node: &'node mut Node
Node on which the transition is currently being applied
perm: UniEntry<'node, LocationState>
Mutable access to its permissions
rel_pos: AccessRelatedness
Relative position of the access
Auto Trait Implementations§
impl<'node> RefUnwindSafe for NodeAppArgs<'node>
impl<'node> !Send for NodeAppArgs<'node>
impl<'node> !Sync for NodeAppArgs<'node>
impl<'node> Unpin for NodeAppArgs<'node>
impl<'node> !UnwindSafe for NodeAppArgs<'node>
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
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes