Auto merge of #2919 - Vanille-N:tb-diags, r=RalfJung

Revert error in doc comment

Also punctuation

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,
 }