diff options
| author | Ralf Jung <post@ralfj.de> | 2020-10-19 09:46:18 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2020-10-19 09:46:18 +0200 |
| commit | cb33f956c3a4b05b4eb8bd2ccce4c9ba11862919 (patch) | |
| tree | 4766ab147821d1f5a5d539895d37e69b2a713a1d | |
| parent | 94332bbe100103fefafd9609ced01e0712dd71dd (diff) | |
| download | rust-cb33f956c3a4b05b4eb8bd2ccce4c9ba11862919.tar.gz rust-cb33f956c3a4b05b4eb8bd2ccce4c9ba11862919.zip | |
remove what seems to be an outdated comment
Even in the PR that introduced this comment, it does not seem like these locals are actually ignored -- just their `source_info` is adjusted: https://github.com/rust-lang/rust/pull/44700/files#diff-ae2f3c7e2f9744f7ef43e96072b10e98d4e3fe74a3a399a3ad8a810fbe56c520R139
| -rw-r--r-- | compiler/rustc_middle/src/mir/mod.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/compiler/rustc_middle/src/mir/mod.rs b/compiler/rustc_middle/src/mir/mod.rs index 16472c78757..5ca9ce870f0 100644 --- a/compiler/rustc_middle/src/mir/mod.rs +++ b/compiler/rustc_middle/src/mir/mod.rs @@ -821,9 +821,6 @@ pub struct LocalDecl<'tcx> { /// flag drop flags to avoid triggering this check as they are introduced /// after typeck. /// - /// Unsafety checking will also ignore dereferences of these locals, - /// so they can be used for raw pointers only used in a desugaring. - /// /// This should be sound because the drop flags are fully algebraic, and /// therefore don't affect the OIBIT or outlives properties of the /// generator. |