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

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