diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-01-21 14:01:32 -0800 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-02-11 12:14:05 -0800 |
| commit | 168ca9a325e9db2fa613cb6b442013c10a233267 (patch) | |
| tree | a098355bbfc97f603a76e9429dde72ca7bb62dbf | |
| parent | 5860e78ce9b5926de2d856d2dc8e4f3790584b81 (diff) | |
| download | rust-168ca9a325e9db2fa613cb6b442013c10a233267.tar.gz rust-168ca9a325e9db2fa613cb6b442013c10a233267.zip | |
Add note about `elaborate_drops::InitializationData`
| -rw-r--r-- | src/librustc_mir/transform/elaborate_drops.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/librustc_mir/transform/elaborate_drops.rs b/src/librustc_mir/transform/elaborate_drops.rs index 319b6f35f11..99f13f68cbc 100644 --- a/src/librustc_mir/transform/elaborate_drops.rs +++ b/src/librustc_mir/transform/elaborate_drops.rs @@ -284,6 +284,9 @@ impl<'b, 'tcx> ElaborateDropsCtxt<'b, 'tcx> { self.env.param_env } + // FIXME(ecstaticmorse): This duplicates `dataflow::ResultsCursor` but hardcodes the transfer + // function for `Maybe{Un,}InitializedPlaces` directly. It should be replaced by a a pair of + // `ResultsCursor`s. fn initialization_data_at(&self, loc: Location) -> InitializationData { let mut data = InitializationData { live: self.flow_inits.entry_set_for_block(loc.block).to_owned(), |