Correct function type for vtable shim (fix some boxed closures)#335

avanhatt merged 5 commits into

model-checking:main-153-2021-07-26model-checking/kani:main-153-2021-07-26from

avanhatt:vtable-shim-closureavanhatt/rmc:vtable-shim-closureCopy head branch name to clipboard