Only track (trivially) freeze types

1 files changed, 5 insertions, 1 deletions

diff --git a/compiler/rustc_mir_dataflow/src/value_analysis.rs b/compiler/rustc_mir_dataflow/src/value_analysis.rs
index 510856da92f..766a659adca 100644
--- a/compiler/rustc_mir_dataflow/src/value_analysis.rs
+++ b/compiler/rustc_mir_dataflow/src/value_analysis.rs
@@ -674,7 +674,11 @@ impl Map {
             return Err(());
         }
 
-        // FIXME: Check that the place is `Freeze`.
+        if !ty.is_trivially_freeze() {
+            // Due to the way we deal with shared references, only `Freeze` types may be tracked.
+            // We are a little bit to restrictive here by only allowing trivially `Freeze` types.
+            return Err(());
+        }
 
         let place = self.make_place(local, projection)?;