remove dead code

Author: basil-cow

chalk-engine/src/logic.rs

@@ -328,9 +328,10 @@ impl<C: Context> Forest<C> {
         infer: &mut dyn InferenceTable<C>,
         subgoal: &C::GoalInEnvironment,
     ) -> Option<(C::UCanonicalGoalInEnvironment, C::UniverseMap)> {
-        match infer.goal_needs_truncation(context.interner(), subgoal) {
-            true => None,
-            false => Some(infer.fully_canonicalize_goal(context.interner(), subgoal)),
+        if infer.goal_needs_truncation(context.interner(), subgoal) {
+            None
+        } else {
+            Some(infer.fully_canonicalize_goal(context.interner(), subgoal))
         }
     }
 
@@ -385,9 +386,10 @@ impl<C: Context> Forest<C> {
         // affect completeness when it comes to subgoal abstraction.
         let inverted_subgoal = infer.invert_goal(context.interner(), subgoal)?;
 
-        match infer.goal_needs_truncation(context.interner(), &inverted_subgoal) {
-            true => None,
-            false => Some(infer.fully_canonicalize_goal(context.interner(), &inverted_subgoal)),
+        if infer.goal_needs_truncation(context.interner(), &inverted_subgoal) {
+            None
+        } else {
+            Some(infer.fully_canonicalize_goal(context.interner(), &inverted_subgoal))
         }
     }
 }

chalk-solve/src/infer.rs

@@ -79,12 +79,6 @@ impl<I: Interner> InferenceTable<I> {
         u
     }
 
-    /// Current maximum universe -- one that can see all existing names.
-    #[allow(dead_code)]
-    pub(crate) fn max_universe(&self) -> UniverseIndex {
-        self.max_universe
-    }
-
     /// Creates a new inference variable and returns its index. The
     /// kind of the variable should be known by the caller, but is not
     /// tracked directly by the inference table.