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

ฯ€ 0.01% 84 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[E0594]: cannot assign to `bytes[_]`, which is behind a `&` reference
 --> src/bin/mutate_leaf.rs:5:73
  |
5 |         if let cyber_bao::proof::ProofItem::Leaf { bytes, .. } = item { bytes[0] = 1; }
  |                                                    -----                ^^^^^^^^^^^^ `bytes` is a `&` reference, so it cannot be written to
  |                                                    |
  |                                                    consider changing this binding's type to be: `&mut [u8]`

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

Graph