Reintroduce the invariant comment for clarity

oli-obk · oli-obk · commit 7db96a37e7b4 · 2019-02-16T14:33:54.000+01:00
diff --git a/src/librustc/mir/interpret/value.rs b/src/librustc/mir/interpret/value.rs
@@ -32,6 +32,7 @@ pub enum ConstValue<'tcx> {
     Slice(Scalar, u64),
 
     /// An allocation together with a pointer into the allocation.
+    /// Invariant: the pointer's `AllocId` resolves to the allocation.
     ByRef(Pointer, &'tcx Allocation),
 }
 

Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,7 @@ pub enum ConstValue<'tcx> {`
`32`	`32`	`Slice(Scalar, u64),`
`33`	`33`
`34`	`34`	`/// An allocation together with a pointer into the allocation.`
	`35`	+ /// Invariant: the pointer's `AllocId` resolves to the allocation.
`35`	`36`	`ByRef(Pointer, &'tcx Allocation),`
`36`	`37`	`}`
`37`	`38`