Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,RalfJung"
This reverts commitb57d93d8b9
, reversing changes made to0aeaa5eb22
.
This commit is contained in:
parent
0bb4880581
commit
122a55bb44
100 changed files with 1663 additions and 1451 deletions
|
@ -15,7 +15,7 @@ fn fun(_1: &[T]) -> &T {
|
|||
StorageLive(_2);
|
||||
StorageLive(_3);
|
||||
_3 = const 0_usize;
|
||||
_4 = PtrMetadata(copy _1);
|
||||
_4 = Len((*_1));
|
||||
_5 = Lt(copy _3, copy _4);
|
||||
assert(move _5, "index out of bounds: the length is {} but the index is {}", move _4, copy _3) -> [success: bb1, unwind: bb2];
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue