FIXME in Drop for QueryState

diff --git a/src/machine/lib_machine/mod.rs b/src/machine/lib_machine/mod.rs
index 170fa2c92eb13f3c3f2af2dc70b22ff77c3d9dcc..13a39fcb2540b6c4343a5190fed127012b864249 100644 (file)
--- a/src/machine/lib_machine/mod.rs
+++ b/src/machine/lib_machine/mod.rs
@@ -414,8 +414,8 @@ pub struct QueryState<'a> {
 
 impl Drop for QueryState<'_> {
     fn drop(&mut self) {
-        // This may be wrong if the iterator is not fully consumend, but from testing it seems
-        // fine.
+        // FIXME: This may be wrong if the iterator is not fully consumend, but from testing it
+        // seems fine. Is this really ok?
         self.machine.trust_me();
     }
 }
@@ -523,7 +523,6 @@ impl Iterator for QueryState<'_> {
 
         Some(Ok(LeafAnswer::LeafAnswer {
             bindings,
-            residual_goals: vec![],
         }))
     }
 }