fix documentation errors

Author: Tage Johansson

compiler/rustc_borrowck/src/polonius/horatio/location_sensitive.rs

@@ -293,7 +293,7 @@ impl LocationSensitiveAnalysis {
     }
 }
 
-/// This is a very specific function used in [`LocationInsensitiveAnalysis::compute()`] to visit all
+/// This is a very specific function used in [`LocationSensitiveAnalysis::compute()`] to visit all
 ///
 /// predecessors and successors of a node. One could argue that it shouldn’t be a separate function
 /// and should just be hardcoded, but that led to a ton of repetitive code.

compiler/rustc_borrowck/src/polonius/horatio/mod.rs

@@ -63,7 +63,7 @@ pub(crate) struct PoloniusContext<'a, 'tcx> {
 
     /// For every block, we store a set of all proceeding blocks.
     ///
-    /// ```
+    /// ```text
     ///       a
     ///      / \
     ///     b   c
@@ -315,7 +315,7 @@ impl<'a, 'tcx> Polonius<'a, 'tcx> {
     /// The purpose of this function is to be really quick. In most cases it will return `false` and
     /// no conflict is therefore possible. In the rare situations it returns `true`, the caller
     /// should proceed with other more time consuming methods of checking for a conflict and
-    /// eventually call the [`Polonius::loan_is_active`] function which will give a definite answer.
+    /// eventually call the [`Polonius::loan_is_active_at`] function which will give a definite answer.
     #[inline]
     pub(crate) fn loan_maybe_active_at(
         &mut self,

compiler/rustc_borrowck/src/polonius/horatio/polonius_block.rs

@@ -116,8 +116,9 @@ impl PoloniusBlock {
 
     /// Iterate over the successor blocks to this block.
     ///
-    /// Note that this is same as [`Terminator::successors`] except for the "before introduction
-    /// block" where it is the "introduction block".
+    /// Note that this is same as
+    /// [`Terminator::successors`](rustc_middle::mir::Terminator::successors) except for the "before
+    /// introduction block" where it is the "introduction block".
     #[inline]
     pub(super) fn successors(
         self,