Explain members of CreatedPointerTag

Author: saethlin

src/diagnostics.rs

@@ -58,9 +58,13 @@ impl MachineStopType for TerminationInfo {}
 /// Miri specific diagnostics
 pub enum NonHaltingDiagnostic {
     CreatedPointerTag {
+        /// The tag we just created
         tag: SbTag,
+        /// The permission that the tag we created grants
         perm: Permission,
+        /// Allocation which this tag grants permission over
         alloc_id: AllocId,
+        /// The exact range of the allocation that this tag grants permission over
         alloc_range: AllocRange,
     },
     /// This `Item` was popped from the borrow stack, either due to a grant of