Clarify FIXME

Dylan-DPC-zz · Sep 18, 2020 · 2f9271b · 2f9271b
1 parent ffd9445
commit 2f9271b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/compiler/rustc_mir/src/transform/dest_prop.rs b/compiler/rustc_mir/src/transform/dest_prop.rs
@@ -44,8 +44,9 @@
 //!   and performing the optimization would simply delete the assignment, leaving `dest`
 //!   uninitialized.
 //!
-//! * `src` must be a bare `Local` without any indirections or field projections (FIXME: Why?).
-//!   It can be copied or moved by the assignment.
+//! * `src` must be a bare `Local` without any indirections or field projections (FIXME: Is this a
+//!   fundamental restriction or just current impl state?). It can be copied or moved by the
+//!   assignment.
 //!
 //! * The `dest` and `src` locals must never be [*live*][liveness] at the same time. If they are, it
 //!   means that they both hold a (potentially different) value that is needed by a future use of