about summary refs log tree commit diff
path: root/compiler/rustc_middle
diff options
context:
space:
mode:
authorOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>2024-03-08 12:39:26 +0000
committerOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>2024-07-24 16:00:48 +0000
commitacba6449f8597c85b450d96eccda31025cdc0049 (patch)
tree9c3e4e8cb11097d1a2b5114502185aa4c484b5d4 /compiler/rustc_middle
parentfdff100545850376e0f48d382ca3f92c959ff1cc (diff)
downloadrust-acba6449f8597c85b450d96eccda31025cdc0049.tar.gz
rust-acba6449f8597c85b450d96eccda31025cdc0049.zip
Do not try to reveal hidden types when trying to prove Freeze in the defining scope
Diffstat (limited to 'compiler/rustc_middle')
-rw-r--r--compiler/rustc_middle/src/ty/util.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/ty/util.rs b/compiler/rustc_middle/src/ty/util.rs
index 9307e380681..4335d96737a 100644
--- a/compiler/rustc_middle/src/ty/util.rs
+++ b/compiler/rustc_middle/src/ty/util.rs
@@ -1268,7 +1268,7 @@ impl<'tcx> Ty<'tcx> {
     ///
     /// Returning true means the type is known to be `Freeze`. Returning
     /// `false` means nothing -- could be `Freeze`, might not be.
-    fn is_trivially_freeze(self) -> bool {
+    pub fn is_trivially_freeze(self) -> bool {
         match self.kind() {
             ty::Int(_)
             | ty::Uint(_)