Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects#3636

carolynzech merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

carolynzech:issue-3631carolynzech/kani:issue-3631Copy head branch name to clipboard