commit 14e3506738e16ffdd1d913c371c9691e36e85b13
author Ralf Jung <post@ralfj.de> Tue Aug 27 21:24:30 2019 +0200
committer Ralf Jung <post@ralfj.de> Sun Sep 15 14:25:30 2019 +0200
tree 23a22b3b40c7e5306db96ef71b189a0ac5c3b841
parent b1d4d2bfeaf45c9f3132b863867888ec89d1d40e

note a FIXME

src/librustc_mir/interpret/intern.rs

diff --git a/src/librustc_mir/interpret/intern.rs b/src/librustc_mir/interpret/intern.rs
index 85bc88c..cf4f3fd 100644
--- a/src/librustc_mir/interpret/intern.rs
+++ b/src/librustc_mir/interpret/intern.rs
@@ -331,6 +331,8 @@
             if base_intern_mode != InternMode::Static {
                 // If it's not a static, it *must* be immutable.
                 // We cannot have mutable memory inside a constant.
+                // FIXME: ideally we would assert that they already are immutable, to double-
+                // check our static checks.
                 alloc.mutability = Mutability::Immutable;
             }
             let alloc = tcx.intern_const_alloc(alloc);