diff options
| author | Jonas Schievink <jonasschievink@gmail.com> | 2020-09-17 22:19:24 +0200 |
|---|---|---|
| committer | Jonas Schievink <jonasschievink@gmail.com> | 2020-09-18 21:23:01 +0200 |
| commit | 2f9271b14c9ec0e5ed72ec91c2e24e850c580f83 (patch) | |
| tree | c14b0f98c1e8f1dd1519de65f513550d8bf6b057 | |
| parent | ffd9445812cf8dc10a12f62db5135a0a17e066f5 (diff) | |
| download | rust-2f9271b14c9ec0e5ed72ec91c2e24e850c580f83.tar.gz rust-2f9271b14c9ec0e5ed72ec91c2e24e850c580f83.zip | |
Clarify FIXME
| -rw-r--r-- | compiler/rustc_mir/src/transform/dest_prop.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/rustc_mir/src/transform/dest_prop.rs b/compiler/rustc_mir/src/transform/dest_prop.rs index d1c98354e05..46cbced2d54 100644 --- 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 |