Fix soundness bug introduced in Pony 0.51.2#4283

Merged

SeanTAllen merged 7 commits intomainfrom fix-4282

Dec 29, 2022

Commits on Dec 28, 2022

Separately check mutability of the target from isolation-safety
Jason Carr
committed
Add a few very basic tests of cap safety for programs.
Jason Carr
committed
Add release notes
Jason Carr
committed
Fix test bug
Jason Carr
committed

Commits on Dec 29, 2022