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

ฯ€ 0.01% 70 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[E0277]: the trait bound `VerifiedProof<'_>: From<&[_]>` is not satisfied
 --> src/bin/conversion.rs:1:68
  |
1 | fn main() { let _: cyber_bao::proof::VerifiedProof<'_> = (&[][..]).into(); }
  |                                                                    ^^^^ the trait `From<&[_]>` is not implemented for `VerifiedProof<'_>`
  |
  = note: required for `&[_]` to implement `Into<VerifiedProof<'_>>`

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

Graph