fn method not needed

Author: Vanille-N

src/borrow_tracker/mod.rs

@@ -81,7 +81,7 @@ impl VisitTags for FrameExtra {
 /// Extra global state, available to the memory access hooks.
 #[derive(Debug)]
 pub struct GlobalStateInner {
-    /// Borrow tracker method currently in use (except BorrowTrackerMethod::Off)
+    /// Borrow tracker method currently in use.
     pub borrow_tracker_method: BorrowTrackerMethod,
     /// Next unused pointer ID (tag).
     pub next_ptr_tag: BorTag,
@@ -183,11 +183,6 @@ impl GlobalStateInner {
         }
     }
 
-    /// Return the borrow tracker method
-    pub fn method(&self) -> BorrowTrackerMethod {
-        self.borrow_tracker_method
-    }
-
     /// Generates a new pointer tag. Remember to also check track_pointer_tags and log its creation!
     pub fn new_ptr(&mut self) -> BorTag {
         let id = self.next_ptr_tag;
@@ -272,23 +267,23 @@ impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriInterpCx<'mir,
 pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
     fn retag(&mut self, kind: RetagKind, place: &PlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
         let this = self.eval_context_mut();
-        let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().method();
+        let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
         match method {
             BorrowTrackerMethod::StackedBorrows => this.sb_retag(kind, place),
         }
     }
 
     fn retag_return_place(&mut self) -> InterpResult<'tcx> {
         let this = self.eval_context_mut();
-        let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().method();
+        let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
         match method {
             BorrowTrackerMethod::StackedBorrows => this.sb_retag_return_place(),
         }
     }
 
     fn expose_tag(&mut self, alloc_id: AllocId, tag: BorTag) -> InterpResult<'tcx> {
         let this = self.eval_context_mut();
-        let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().method();
+        let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
         match method {
             BorrowTrackerMethod::StackedBorrows => this.sb_expose_tag(alloc_id, tag),
         }

src/borrow_tracker/stacked_borrows/mod.rs

@@ -501,7 +501,7 @@ impl Stacks {
         Ok(())
     }
 
-    pub fn expose_tag(&mut self, tag: BorTag) {
+    fn expose_tag(&mut self, tag: BorTag) {
         self.exposed_tags.insert(tag);
     }
 }