[Release Note] Swift 5.10 closes all known holes in compile-time strict concurrency checking.

[hborla]

Add a release note for Swift 5.10 closing all known holes in the static data-race safety model under -strict-concurrency=complete.

This change also makes minor editorial changes to improve the release notes for SE-0411 and SE-0412.

[hborla]

@swift-ci please smoke test

[slavapestov]

But do you have a proof that no unknown holes exist? :-)

[hborla]

But do you have a proof that no unknown holes exist? :-)

Of course not, but this is still an important milestone 🙂 and more importantly, now the community knows that if they do find another data-race safety hole, they should report it because I don't know about it!