Merge #8735

8735: simplify r=Veykril a=Veykril

bors r+

Co-authored-by: Lukas Tobias Wirth <[email protected]>

1 files changed, 4 insertions, 0 deletions

diff --git a/crates/hir/src/lib.rs b/crates/hir/src/lib.rs
index d8ccfde0c..6fcc58f61 100644
--- a/crates/hir/src/lib.rs
+++ b/crates/hir/src/lib.rs
@@ -1744,6 +1744,10 @@ impl Type {
         }
     }
 
+    pub fn strip_references(&self) -> Type {
+        self.derived(self.ty.strip_references().clone())
+    }
+
     pub fn is_unknown(&self) -> bool {
         self.ty.is_unknown()
     }