soft3/radio/audit/2026-10-12-bao-bounded-proof/records/seal-deserialize-v1.stderr

ฯ€ 0.01% 116 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<'static>: serde::de::DeserializeOwned` is not satisfied
 --> src/bin/deserialize.rs:3:15
  |
3 |     require::<cyber_bao::proof::VerifiedProof<'static>>();
  |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'de> Deserialize<'de>` is not implemented for `VerifiedProof<'static>`
  |
  = help: the following other types implement trait `Deserialize<'de>`:
            &'a Path
            &'a [u8]
            &'a str
            ()
            (T,)
            (T0, T1)
            (T0, T1, T2)
            (T0, T1, T2, T3)
          and 138 others
  = note: required for `VerifiedProof<'static>` to implement `DeserializeOwned`
note: required by a bound in `require`
 --> src/bin/deserialize.rs:2:19
  |
2 |     fn require<T: serde::de::DeserializeOwned>() {}
  |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `require`

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

Graph