Improve Kani handling of function markers#3718

Merged

celinval merged 8 commits intomodel-checking:mainfrom

celinval:chores-kani-fns

Nov 16, 2024

Commits on Nov 14, 2024

Get rid of most kani usage of rustc's diagnostic
celinval
committed

Commits on Nov 15, 2024

Commits on Nov 16, 2024

Fix firecracker codegen regression test
celinval
committed