Nightly-2023-09-18

[seanrion]

Description

Because of this issue(serde-rs/serde#2734), I need to update MIRAI to Nightly-2023-09-18.
And I revised validate.sh because the latest version of triomphe need rustc 1.76 or newer.

Fixes # (issue)

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• API change with a documentation update
• Additional test coverage
• Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

./validate.sh

Checklist:

• Fork the repo and create your branch from main.
• If you've added code that should be tested, add tests.
• If you've changed APIs, update the documentation.
• Ensure the test suite passes.
• Make sure your code lints.
• If you haven't already, complete your CLA here: https://code.facebook.com/cla

[hermanventer]

This looks fine, but we obviously need to figure out why CI is failing. I'll try to spend some time on updating MIRAI in the coming weeks.

[hermanventer]

I managed to work around the test failures and have ported these changes into PR #1262.

[seanrion]

I managed to work around the test failures and have ported these changes into PR #1262.

It looks better. Thank you.