No-panic: Attribute macro to require rustc to prove a function can't ever panic

Source for this submission: <a href="https:&#x2F;&#x2F;x.com&#x2F;kupiakos&#x2F;status&#x2F;1820897820255338899" rel="nofollow">https:&#x2F;&#x2F;x.com&#x2F;kupiakos&#x2F;status&#x2F;1820897820255338899</a> which links to a different crate; I selected this crate because it has orders of magnitude more downloads.<p>&gt; With the right tooling, Rust would make a big difference [to the CrowdStrike situation]. You can forbid panics in an entire binary (e.g. <a href="https:&#x2F;&#x2F;docs.rs&#x2F;panic-never&#x2F;0.1.0&#x2F;panic_never" rel="nofollow">https:&#x2F;&#x2F;docs.rs&#x2F;panic-never&#x2F;0.1.0&#x2F;panic_never</a>) and that would statically require that that code explicitly handle the case of unexpected size…