From 0edf46f7d1db0f09dc07bf93ed466ea067d50054 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 6 Jun 2019 12:52:01 +0200 Subject: [PATCH] comments --- src/librustc_mir/transform/qualify_consts.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/librustc_mir/transform/qualify_consts.rs b/src/librustc_mir/transform/qualify_consts.rs index a353ebdabb9d..19bd812ec80c 100644 --- a/src/librustc_mir/transform/qualify_consts.rs +++ b/src/librustc_mir/transform/qualify_consts.rs @@ -307,9 +307,9 @@ trait Qualif { /// Constant containing interior mutability (`UnsafeCell`). /// This must be ruled out to make sure that evaluating the constant at compile-time -/// and run-time would produce the same result. In particular, promotion of temporaries -/// must not change program behavior; if the promoted could be written to, that would -/// be a problem. +/// and at *any point* during the run-time would produce the same result. In particular, +/// promotion of temporaries must not change program behavior; if the promoted could be +/// written to, that would be a problem. struct HasMutInterior; impl Qualif for HasMutInterior {