Automatic toolchain upgrade to nightly-2023-10-06 (model-checking#2812)

Update Rust toolchain from nightly-2023-10-05 to nightly-2023-10-06
without any other source changes.
This is an automatically generated pull request. If any of the CI checks
fail, manual intervention is required. In such a case, review the
changes at https://github.com/rust-lang/rust from
rust-lang/rust@2bbb619
up to
rust-lang/rust@cae0791.
The log for this commit range is:
rust-lang/rust@cae0791da4 Auto merge of
#116417 - ouz-a:trait_type_detective, r=compiler-errors
rust-lang/rust@e30d27be00 remove is global
hack
rust-lang/rust@cdca82c2c8 Auto merge of
#116455 - matthiaskrgr:rollup-p226a5u, r=matthiaskrgr
rust-lang/rust@76d0b794cb Rollup merge of
#116452 - cjgillot:noassert-erased, r=oli-obk
rust-lang/rust@c1c5ab717e Rollup merge of
#116428 - Alexendoo:note-duplicate-diagnostics,
r=compiler-errors,estebank
rust-lang/rust@08cc7428d9 Rollup merge of
#116415 - ouz-a:move_subtyper, r=oli-obk
rust-lang/rust@b301bd4220 Rollup merge of
#116288 - ouz-a:smir_spans, r=spastorino
rust-lang/rust@864e5d8d94 Rollup merge of
#116220 - llogiq:stabilize-option-as-slice, r=BurntSushi
rust-lang/rust@3088c4b046 move subtyper change
reveal_all
rust-lang/rust@14c846cb05 Do not assert that
hidden types don't have erased regions.
rust-lang/rust@3bcad65fbf Auto merge of
#103046 - JanBeh:PR_clarify_cmp_terminology, r=workingjubilee
rust-lang/rust@cf9fd95b1c Auto merge of
#114042 - liushuyu:ubuntu/i586-fpmath, r=workingjubilee
rust-lang/rust@86b031b734 docs: Correct
terminology in std::cmp
rust-lang/rust@90f3a6f920 Auto merge of
#104153 - tspiteri:doc-float-constants, r=workingjubilee
rust-lang/rust@5c3a0e932b Auto merge of
#116427 - cjgillot:no-internal, r=oli-obk
rust-lang/rust@a49138e46e impl stable for
kinds
rust-lang/rust@a79567b01c add span to
statements
rust-lang/rust@e293927016 Auto merge of
#116443 - workingjubilee:rollup-r9mh13f, r=workingjubilee
rust-lang/rust@4a14a80605 Rollup merge of
#116432 - notriddle:master, r=fmease
rust-lang/rust@d7b02c3d40 Rollup merge of
#116431 - estebank:issue-80476, r=compiler-errors
rust-lang/rust@a9a389cf44 Rollup merge of
#116429 - fmease:clean-up-struct-field-suggs, r=compiler-errors
rust-lang/rust@cfce3a919d Rollup merge of
#116296 - compiler-errors:default-return, r=estebank
rust-lang/rust@ea3454eabb Rollup merge of
#116223 - catandcoder:master, r=cjgillot
rust-lang/rust@5236c8e1fa Auto merge of
#116273 - compiler-errors:refine2, r=tmandry
rust-lang/rust@b781645332 Auto merge of
#116184 - compiler-errors:afit-lint, r=tmandry
rust-lang/rust@5453a9f34d Add a note to
duplicate diagnostics
rust-lang/rust@afe67fa2ef Auto merge of
#116370 - nnethercote:more-arena-stuff, r=cjgillot
rust-lang/rust@2f5249019e Apply suggestions
from code review
rust-lang/rust@dd5f26c42d Fix spans for
comments in rustfmt
rust-lang/rust@1f079cfb44 Point to closure
return instead of output if defaulted
rust-lang/rust@89b14ae212 Fix clippy
rust-lang/rust@137b6d0b01 Point to where
missing return type should go
rust-lang/rust@a46ccd8d3f Add URL to test case
issues
rust-lang/rust@9266270ef5 Rename issue-\d+.rs
tests to have meaningful names
rust-lang/rust@041e54bd92 Tweak wording of
E0562
rust-lang/rust@867cc41b5b clean up struct
field suggestions
rust-lang/rust@a198aff4a4 Add `crate_name` to
test so that it can be renamed
rust-lang/rust@e63d19c4dd Remove
mir::LocalDecl::internal.
rust-lang/rust@f44d116e1f Fix misuses of a vs
an
rust-lang/rust@a2051dd578 Optimize some
`alloc_from_iter` call sites.
rust-lang/rust@816383c60d Remove the
`TypedArena::alloc_from_iter` specialization.
rust-lang/rust@c373d206cd Address review nits
rust-lang/rust@90dfa24415 Only reachable
traits
rust-lang/rust@afea0b4eab Fill in prose to
describe the `async_fn_in_trait` lint
rust-lang/rust@28d58f6524 Bless tests
rust-lang/rust@ec79720c1e Add
async_fn_in_trait lint
rust-lang/rust@999a354a81 add span to
terminator
rust-lang/rust@9130484db9 create localdecl and
add span to it
rust-lang/rust@06d9602d33 Only trigger refine
lint on reachable traits
rust-lang/rust@702da3b89c stabilize
`Option::as_`(`mut_`)`slice`
rust-lang/rust@40a52cf55c core library:
Disable fpmath tests for i386 ...
rust-lang/rust@c953b6c014 doc: expand
description for f32 and f64 associated constants

Co-authored-by: celinval <[email protected]>

rust-toolchain.toml

@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2023-10-05"
+channel = "nightly-2023-10-06"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]