about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2022-07-01 17:57:32 -0400
committerRalf Jung <post@ralfj.de>2022-07-01 17:57:32 -0400
commit65944ce5228c8c1d2038dddbfac23d4d872b5787 (patch)
tree036d659189360bb771a1a9f49cfb658787fe8f36
parent5018181c79a6fe37913fd931005ad2a63c85be7b (diff)
downloadrust-65944ce5228c8c1d2038dddbfac23d4d872b5787.tar.gz
rust-65944ce5228c8c1d2038dddbfac23d4d872b5787.zip
interpret: make a comment less scary
-rw-r--r--compiler/rustc_const_eval/src/interpret/cast.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_const_eval/src/interpret/cast.rs b/compiler/rustc_const_eval/src/interpret/cast.rs
index 076415b2d1b..2e6c7f47ac1 100644
--- a/compiler/rustc_const_eval/src/interpret/cast.rs
+++ b/compiler/rustc_const_eval/src/interpret/cast.rs
@@ -202,7 +202,7 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
         let ptr = self.scalar_to_ptr(scalar)?;
         match ptr.into_pointer_or_addr() {
             Ok(ptr) => M::expose_ptr(self, ptr)?,
-            Err(_) => {} // do nothing, exposing an invalid pointer has no meaning
+            Err(_) => {} // Do nothing, exposing an invalid pointer (`None` provenance) is a NOP.
         };
         Ok(self.cast_from_int_like(scalar, src.layout, cast_ty)?.into())
     }