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::Deserialize<'de>` is not satisfied
--> src/bin/deserialize_static.rs:3:15
|
3 | require::<cyber_bao::proof::VerifiedProof<'static>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Deserialize<'static>` is not implemented for `VerifiedProof<'static>`
|
= note: for local types consider adding `#[derive(serde::Deserialize)]` to your `VerifiedProof<'static>` type
= note: for types from other crates check whether the crate offers a `serde` feature flag
= 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 by a bound in `require`
--> src/bin/deserialize_static.rs:2:19
|
2 | fn require<T: serde::Deserialize<'static>>() {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ 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_static") due to 1 previous error