From ce39fff66be0ef298927c75c69a36a841230129f Mon Sep 17 00:00:00 2001 From: Oliver Scherer Date: Wed, 19 Jun 2019 11:15:29 +0200 Subject: [PATCH] Fix comment about alignments --- src/librustc/mir/interpret/value.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/librustc/mir/interpret/value.rs b/src/librustc/mir/interpret/value.rs index 7b26ebf57a128..7fc1344533e0b 100644 --- a/src/librustc/mir/interpret/value.rs +++ b/src/librustc/mir/interpret/value.rs @@ -46,8 +46,8 @@ pub enum ConstValue<'tcx> { /// An allocation together with a pointer into the allocation. /// Invariant: the pointer's `AllocId` resolves to the allocation. /// The alignment exists to allow `const_field` to have `ByRef` access to nonprimitive fields - /// of packed structs. The alignment may be lower than the alignment of the `Allocation` and - /// allow reads with lower alignment than what the allocation would normally permit. + /// of packed structs. The alignment may be lower than the type of this constant. + /// This permits reads with lower alignment than what the type would normally require. /// FIXME(RalfJ,oli-obk): The alignment checks are part of miri, but const eval doesn't really /// need them. Disabling them may be too hard though. ByRef(Pointer, Align, &'tcx Allocation),