diff options
| -rw-r--r-- | src/tools/miri/src/borrow_tracker/tree_borrows/diagnostics.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/tools/miri/src/borrow_tracker/tree_borrows/diagnostics.rs b/src/tools/miri/src/borrow_tracker/tree_borrows/diagnostics.rs index 1a7f14f0ab9..a87a4bbddad 100644 --- a/src/tools/miri/src/borrow_tracker/tree_borrows/diagnostics.rs +++ b/src/tools/miri/src/borrow_tracker/tree_borrows/diagnostics.rs @@ -45,13 +45,13 @@ impl AccessCause { /// Complete data for an event: #[derive(Clone, Debug)] pub struct Event { - /// Transformation of permissions that occured because of this event + /// Transformation of permissions that occured because of this event. pub transition: PermTransition, - /// Kind of the access that triggered this event + /// Kind of the access that triggered this event. pub access_cause: AccessCause, - /// Relative position of the tag to the one used for the access + /// Relative position of the tag to the one used for the access. pub is_foreign: bool, - /// Whether this access was explicit or inserted implicitly by Tree Borrows. + /// User-visible range of the access. pub access_range: AllocRange, /// The transition recorded by this event only occured on a subrange of /// `access_range`: a single access on `access_range` triggers several events, @@ -66,7 +66,7 @@ pub struct Event { /// the `TbError`, which should satisfy /// `event.transition_range.contains(error.error_offset)`. pub transition_range: Range<u64>, - /// Line of code that triggered this event + /// Line of code that triggered this event. pub span: Span, } |