mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rollup merge of #129355 - RalfJung:PlaceMention, r=compiler-errors

Browse Source 
fix comment on PlaceMention semantics

It seems this was simply missed in https://github.com/rust-lang/rust/pull/114330.
This commit is contained in:
Matthias Krüger 2024-08-21 18:15:06 +02:00 committed by GitHub
commit 9fd2832a7e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_middle/src/mir/syntax.rs
View File

@ -395,7 +395,7 @@ pub enum StatementKind<'tcx> {
/// `PlaceMention(PLACE)`. /// `PlaceMention(PLACE)`.
/// ///
/// When executed at runtime, this computes the given place, but then discards /// 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>>), PlaceMention(Box<Place<'tcx>>),
/// Encodes a user's type ascription. These need to be preserved /// Encodes a user's type ascription. These need to be preserved