Rollup merge of #124024 - RalfJung:interpret-comment, r=oli-obk

interpret: remove outdated comment

In https://github.com/rust-lang/rust/pull/107756, allocation became generally fallible, so the "only panic if there is provenance" no longer applies.

r? ``@oli-obk``
This commit is contained in:
Matthias Krüger 2024-04-16 17:54:46 +02:00 committed by GitHub
commit 4971d9ffe4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 0 additions and 3 deletions

View file

@ -347,8 +347,6 @@ fn ptr_get_alloc(
/// 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
/// owned allocation to the map even when the map is shared.)
///
/// This must only fail if `alloc` contains provenance.
fn adjust_allocation<'b>(
ecx: &InterpCx<'mir, 'tcx, Self>,
id: AllocId,

View file

@ -227,7 +227,6 @@ pub fn allocate_bytes_ptr(
self.allocate_raw_ptr(alloc, kind)
}
/// This can fail only if `alloc` contains provenance.
pub fn allocate_raw_ptr(
&mut self,
alloc: Allocation,