0 0 2 Rust

Add resource leak property in extras (#267)

Closes #249 with final touches.

---------

Co-authored-by: carlos catala <carlos.catala@antithesis.com>
Co-authored-by: Carlos Catala <119781636+cataladev@users.noreply.github.com>

Oskar Wickström committed 23d ago

790a00e3c4f7e21ac2e9be5db36f13a937e5882d

Parent: 8c1fca6

Committed by GitHub <noreply@github.com> on 8/13/2026, 12:55:15 PM