Upgrade Rust toolchain to `nightly-2024-02-25` - #3048

Merged

adpaco merged 14 commits into

model-checking:mainfrom

adpaco:toolchain-upgrade-2024-02-25

Feb 29, 2024

Commits on Feb 26, 2024

Update Rust toolchain to `nightly-2024-02-18`
adpaco
committed
809ac4a
Change `join_codegen` to be infallible
adpaco
committed
f161883
Separate tests for `likely` and `unlikely`
adpaco
committed
43a05a2

Commits on Feb 28, 2024

Use trimmed name for intrinsics
adpaco
committed
9e43394
fmt
adpaco
committed
cb9f559
Update to 02-25, remove erronous redundant imports
adpaco
committed
dff1482
Replace assumption failed source in expected output
adpaco
committed
aceb134
Remove redundant imports causing warnings
adpaco
committed
7e0cdc3
Remove import in bookrunner
adpaco
committed
9ea43ff

Commits on Feb 29, 2024