Skip to content

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

Merged
carolynzech merged 2 commits intomodel-checking:mainfrom carolynzech:issue-3631Oct 23, 2024
+57

Commits

Commits on Oct 23, 2024