diff --git a/.release-notes/4588.md b/.release-notes/4588.md index 8114c807c9..581a340d4d 100644 --- a/.release-notes/4588.md +++ b/.release-notes/4588.md @@ -1,4 +1,4 @@ -## Fix soundness problem with matching iso variables +## Fix soundness problem when matching `iso` variables We previously switched our underlying type system model. In the process, a soundness hole was introduced. The following code that should not compile was accepted by the compiler: @@ -20,4 +20,4 @@ The code should not compile because `let s': String iso` is aliasing `_s` an iso The take-away is that "very bad things could happen" and the data race freedom guarantees of the Pony compiler were being violated. -We've close the soundness hole. We recommend all Pony users update to the this release as soon as possible. +We've closed the soundness hole. We recommend all Pony users update to the this release as soon as possible.