diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-06-03 18:39:38 +0200 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-06-19 09:52:35 +0200 |
| commit | b52f6f4ca8a2d04abf2f6481530303c2eabaef18 (patch) | |
| tree | 3e71c3453f07813a3e18fd8c4bd35e8ef927aef2 /src | |
| parent | 870a6dc230f14347fe71b7a27919607630cef033 (diff) | |
| download | rust-b52f6f4ca8a2d04abf2f6481530303c2eabaef18.tar.gz rust-b52f6f4ca8a2d04abf2f6481530303c2eabaef18.zip | |
Elaborate on why we don't look at frozenness
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_mir/interpret/intern.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/librustc_mir/interpret/intern.rs b/src/librustc_mir/interpret/intern.rs index 47dcde95ca5..b55129bd419 100644 --- a/src/librustc_mir/interpret/intern.rs +++ b/src/librustc_mir/interpret/intern.rs @@ -168,6 +168,8 @@ for // We do not have any `frozen` logic here, because it's essentially equivalent to // the mutability except for the outermost item. Only `UnsafeCell` can "unfreeze", // and we check that in `visit_aggregate`. + // This is not an inherent limitation, but one that we know to be true, because + // const qualification enforces it. We can lift it in the future. match (self.mode, mutability) { // all is "good and well" in the unsoundness of `static mut` (InternMode::StaticMut, _) => {}, |