soft3/radio/audit/2026-10-12-bao-bounded-proof/seals/src/bin/deserialize.rs

fn main() {
    fn require<T: serde::de::DeserializeOwned>() {}
    require::<cyber_bao::proof::VerifiedProof<'static>>();
}