Skip to content
Permalink
Browse files

Explain existance of `Align` field

  • Loading branch information...
oli-obk committed Jun 19, 2019
1 parent fb37bf0 commit fd426a6ae9b9470bcfee19c251d60b5a2c2c6048
Showing with 4 additions and 1 deletion.
  1. +4 −1 src/librustc/mir/interpret/value.rs
@@ -46,7 +46,10 @@ 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.
/// 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.
/// 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),

/// Used in the HIR by using `Unevaluated` everywhere and later normalizing to one of the other

0 comments on commit fd426a6

Please sign in to comment.
You can’t perform that action at this time.