Fix length computation.

cjgillot · cjgillot · commit cbbad2dccabc · 2025-07-15T10:28:06.000Z
diff --git a/compiler/rustc_middle/src/mir/consts.rs b/compiler/rustc_middle/src/mir/consts.rs
@@ -171,7 +171,7 @@ impl ConstValue {
                 // Non-empty slice, must have memory. We know this is a relative pointer.
                 let (inner_prov, offset) =
                     ptr.into_pointer_or_addr().ok()?.prov_and_relative_offset();
-                (inner_prov.alloc_id(), offset.bytes(), offset.bytes() + len)
+                (inner_prov.alloc_id(), offset.bytes(), len)
             }
         };
 

Original file line number	Diff line number	Diff line change
`@@ -171,7 +171,7 @@ impl ConstValue {`
`171`	`171`	`// Non-empty slice, must have memory. We know this is a relative pointer.`
`172`	`172`	`let (inner_prov, offset) =`
`173`	`173`	`ptr.into_pointer_or_addr().ok()?.prov_and_relative_offset();`
`174`		`- (inner_prov.alloc_id(), offset.bytes(), offset.bytes() + len)`
	`174`	`+ (inner_prov.alloc_id(), offset.bytes(), len)`
`175`	`175`	`}`
`176`	`176`	`};`
`177`	`177`