Conform with recent changes in rustc (alloc id, scalar ptr, vtable method)#361

danielsn merged 5 commits into

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

adpaco:fix-main-153-2021-07-26adpaco/rmc:fix-main-153-2021-07-26Copy head branch name to clipboard