@@ -45,13 +45,13 @@ impl AccessCause {
4545/// Complete data for an event:
4646#[ derive( Clone , Debug ) ]
4747pub struct Event {
48- /// Transformation of permissions that occured because of this event
48+ /// Transformation of permissions that occured because of this event.
4949 pub transition : PermTransition ,
50- /// Kind of the access that triggered this event
50+ /// Kind of the access that triggered this event.
5151 pub access_cause : AccessCause ,
52- /// Relative position of the tag to the one used for the access
52+ /// Relative position of the tag to the one used for the access.
5353 pub is_foreign : bool ,
54- /// Whether this access was explicit or inserted implicitly by Tree Borrows .
54+ /// User-visible range of the access .
5555 pub access_range : AllocRange ,
5656 /// The transition recorded by this event only occured on a subrange of
5757 /// `access_range`: a single access on `access_range` triggers several events,
@@ -66,7 +66,7 @@ pub struct Event {
6666 /// the `TbError`, which should satisfy
6767 /// `event.transition_range.contains(error.error_offset)`.
6868 pub transition_range : Range < u64 > ,
69- /// Line of code that triggered this event
69+ /// Line of code that triggered this event.
7070 pub span : Span ,
7171}
7272
0 commit comments