search

verus-lang / verus

Verified Rust for low-level systems code
MIT License
1.25k stars 72 forks source link

replace the after_crate_root_parsing callback with after_expansion, fixes #1331 #1353

Open utaal opened 1 week ago

utaal commented 1 week ago

as recommended by https://github.com/verus-lang/verus/issues/1331