From c87f6d9643a471e1c6394d3388e729c1553edb57 Mon Sep 17 00:00:00 2001 From: Neven Villani Date: Mon, 5 Jun 2023 21:14:48 +0200 Subject: [PATCH] Revert error in doc comment Also punctuation --- .../src/borrow_tracker/tree_borrows/diagnostics.rs | 10 +++++----- 1 file 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 1a7f14f0ab973..a87a4bbddadea 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, - /// Line of code that triggered this event + /// Line of code that triggered this event. pub span: Span, }