fix comment on PlaceMention semantics

This commit is contained in:
Ralf Jung 2024-08-21 15:52:06 +02:00
parent 59a74db37d
commit 9010708d9f
1 changed files with 1 additions and 1 deletions

View File

@ -395,7 +395,7 @@ pub enum StatementKind<'tcx> {
/// `PlaceMention(PLACE)`.
///
/// When executed at runtime, this computes the given place, but then discards
/// it without doing a load. It is UB if the place is not pointing to live memory.
/// it without doing a load. `let _ = *ptr;` is fine even if the pointer is dangling.
PlaceMention(Box<Place<'tcx>>),
/// Encodes a user's type ascription. These need to be preserved