soft3/radio/audit/2026-10-12-bao-bounded-proof/records/seal-drop_proof-final.stderr

ฯ€ 0.01% 111 words ยท 1 min 
    Checking bao-proof-seal-probes v0.0.0 (/Users/master/cyber/radio-bao-bounded-proof/audit/2026-10-12-bao-bounded-proof/seals)
error[E0505]: cannot move out of `proof` because it is borrowed
 --> src/bin/drop_proof.rs:4:10
  |
2 |     let proof = vec![0u8; 8];
  |         ----- binding `proof` declared here
3 |     let view = bao_proof_seal_probes::finish(&proof);
  |                                              ------ borrow of `proof` occurs here
4 |     drop(proof);
  |          ^^^^^ move out of `proof` occurs here
5 |     let _ = view.size();
  |             ---- borrow later used here
  |
help: consider cloning the value if the performance cost is acceptable
  |
3 |     let view = bao_proof_seal_probes::finish(&proof.clone());
  |                                                    ++++++++

For more information about this error, try `rustc --explain E0505`.
error: could not compile `bao-proof-seal-probes` (bin "drop_proof") due to 1 previous error

Graph