[release] 0.40.3

[apalache-bot]

Reviewer instructions

• Check the changelog to ensure the version increment is consistent with https://semver.org/.
  • If a different version should be released, follow the instructions.
• Review the changeset as a sanity check.
• Approve the PR, if it pases muster.
• Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
• After the release has been published to github, delete this branch.

---

Release notes

0.40.3 - 2023-06-19

Bug fixes

• Fix handling of applied polymorphic operators in Quint. This increases the number of quint specs that we can successfully verify. (See Quint conversion of applied polymorphic operators is typed too narrowly #2552)

[codecov-commenter]

Codecov Report

Merging #2605 (faa8f7b) into main (79900a4) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2605   +/-   ##
=======================================
  Coverage   78.47%   78.47%           
=======================================
  Files         445      445           
  Lines       15640    15640           
  Branches     2594     2594           
=======================================
  Hits        12273    12273           
  Misses       3367     3367           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more