From 5834ba1ab794104b3bd2769748183f1ec04a76e2 Mon Sep 17 00:00:00 2001
From: lcnr <rust@lcnr.de>
Date: Tue, 15 Oct 2024 18:24:05 +0200
Subject: [PATCH] remove Canonical::unchecked_rebind, it's unused

---
 compiler/rustc_type_ir/src/canonical.rs | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/compiler/rustc_type_ir/src/canonical.rs b/compiler/rustc_type_ir/src/canonical.rs
index d609e5add14..351179df9d7 100644
--- a/compiler/rustc_type_ir/src/canonical.rs
+++ b/compiler/rustc_type_ir/src/canonical.rs
@@ -57,16 +57,6 @@ impl<I: Interner, V> Canonical<I, V> {
         let Canonical { defining_opaque_types, max_universe, variables, value } = self;
         Canonical { defining_opaque_types, max_universe, variables, value: map_op(value) }
     }
-
-    /// Allows you to map the `value` of a canonical while keeping the same set of
-    /// bound variables.
-    ///
-    /// **WARNING:** This function is very easy to mis-use, hence the name! See
-    /// the comment of [Canonical::unchecked_map] for more details.
-    pub fn unchecked_rebind<W>(self, value: W) -> Canonical<I, W> {
-        let Canonical { defining_opaque_types, max_universe, variables, value: _ } = self;
-        Canonical { defining_opaque_types, max_universe, variables, value }
-    }
 }
 
 impl<I: Interner, V: fmt::Display> fmt::Display for Canonical<I, V> {