Add note about elaborate_drops::InitializationData

ecstatic-morse · ecstatic-morse · commit 168ca9a325e9 · 2020-02-11T12:14:05.000-08:00
diff --git 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(),

Original file line number	Diff line number	Diff line change
`@@ -284,6 +284,9 @@ impl<'b, 'tcx> ElaborateDropsCtxt<'b, 'tcx> {`
`284`	`284`	`self.env.param_env`
`285`	`285`	`}`
`286`	`286`
	`287`	+ // FIXME(ecstaticmorse): This duplicates `dataflow::ResultsCursor` but hardcodes the transfer
	`288`	+ // function for `Maybe{Un,}InitializedPlaces` directly. It should be replaced by a a pair of
	`289`	+ // `ResultsCursor`s.
`287`	`290`	`fn initialization_data_at(&self, loc: Location) -> InitializationData {`
`288`	`291`	`let mut data = InitializationData {`
`289`	`292`	`live: self.flow_inits.entry_set_for_block(loc.block).to_owned(),`