New upstream version 1.44.1+dfsg1

[rustc.git] / vendor / polonius-engine / src / output / mod.rs

diff --git a/vendor/polonius-engine/src/output/mod.rs b/vendor/polonius-engine/src/output/mod.rs
index a1c81911d9d60a68f57fe8504ecf0218e75f58f9..5f80edb5523ffd7e65fc7f82e6b9eaaf14d4985b 100644 (file)
--- a/vendor/polonius-engine/src/output/mod.rs
+++ b/vendor/polonius-engine/src/output/mod.rs
@@ -169,6 +169,9 @@ impl<T: FactTypes> Output<T> {
             move_errors,
         ) = initialization::compute(initialization_ctx, &cfg_edge, &mut result);
 
+        // FIXME: move errors should prevent the computation from continuing: we can't compute
+        // liveness and analyze loans accurately when there are move errors, and should early
+        // return here.
         for &(path, location) in move_errors.iter() {
             result.move_errors.entry(location).or_default().push(path);
         }