interpret: remove outdated comment
This commit is contained in:
parent
1dea922ea6
commit
5b8b9cfaaa
@ -347,8 +347,6 @@ fn ptr_get_alloc(
|
|||||||
/// allocation (because a copy had to be done to adjust things), machine memory will
|
/// allocation (because a copy had to be done to adjust things), machine memory will
|
||||||
/// cache the result. (This relies on `AllocMap::get_or` being able to add the
|
/// cache the result. (This relies on `AllocMap::get_or` being able to add the
|
||||||
/// owned allocation to the map even when the map is shared.)
|
/// owned allocation to the map even when the map is shared.)
|
||||||
///
|
|
||||||
/// This must only fail if `alloc` contains provenance.
|
|
||||||
fn adjust_allocation<'b>(
|
fn adjust_allocation<'b>(
|
||||||
ecx: &InterpCx<'mir, 'tcx, Self>,
|
ecx: &InterpCx<'mir, 'tcx, Self>,
|
||||||
id: AllocId,
|
id: AllocId,
|
||||||
|
@ -227,7 +227,6 @@ pub fn allocate_bytes_ptr(
|
|||||||
self.allocate_raw_ptr(alloc, kind)
|
self.allocate_raw_ptr(alloc, kind)
|
||||||
}
|
}
|
||||||
|
|
||||||
/// This can fail only if `alloc` contains provenance.
|
|
||||||
pub fn allocate_raw_ptr(
|
pub fn allocate_raw_ptr(
|
||||||
&mut self,
|
&mut self,
|
||||||
alloc: Allocation,
|
alloc: Allocation,
|
||||||
|
Loading…
Reference in New Issue
Block a user