Remove new max_universe function

This was used earlier an attempt to figure out the universe situation, but I don't believe it ended up being ultimately useful.
rust-lang · Oct 23, 2020 · 893e8db · 893e8db
1 parent 7af0350
commit 893e8db
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/chalk-solve/src/infer.rs b/chalk-solve/src/infer.rs
@@ -79,10 +79,6 @@ impl<I: Interner> InferenceTable<I> {
         u
     }
 
-    pub(crate) fn max_universe(&mut 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.