From 893e8db4495b0856c1034ebb348f50ec85a24223 Mon Sep 17 00:00:00 2001
From: David Ross <daboross@daboross.net>
Date: Thu, 22 Oct 2020 17:44:27 -0700
Subject: [PATCH] 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.
---
 chalk-solve/src/infer.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/chalk-solve/src/infer.rs b/chalk-solve/src/infer.rs
index 82e5c467f80..068669d88d1 100644
--- 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.