Automatic toolchain upgrade to nightly-2023-11-09 (model-checking#2868)

Update Rust toolchain from nightly-2023-11-08 to nightly-2023-11-09
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@7adc89b
up to
rust-lang/rust@fdaaaf9.
The log for this commit range is:
rust-lang/rust@fdaaaf9f92 Auto merge of
#116930 - RalfJung:raw-ptr-match, r=davidtwco
rust-lang/rust@30588657b7 avoid unnecessary
nested conditionals
rust-lang/rust@90fdc1fc27 Auto merge of
#117716 - GuillaumeGomez:rollup-83gnhll, r=GuillaumeGomez
rust-lang/rust@9d3c80248b Rollup merge of
#117713 - GuillaumeGomez:document-hidden-json, r=notriddle
rust-lang/rust@d8c52b378d Rollup merge of
#117702 - davidtwco:target-tier-refactors, r=petrochenkov
rust-lang/rust@5d00a5d936 Rollup merge of
#117679 - aDotInTheVoid:yes-core, r=GuillaumeGomez
rust-lang/rust@c828371179 Rollup merge of
#117282 - clubby789:recover-wrong-function-header, r=TaKO8Ki
rust-lang/rust@e05e4f38b5 Rollup merge of
#117263 - onur-ozkan:change-id-fix, r=saethlin
rust-lang/rust@341efb1017 Auto merge of
#117560 - lqd:issue-117146, r=matthewjasper
rust-lang/rust@33edea60f0 Add test for
reexported hidden item with `--document-hidden-items`
rust-lang/rust@28acba3c61 Auto merge of
#115460 - zachs18:borrowedcursor_write_no_panic, r=dtolnay
rust-lang/rust@755629fe59 Auto merge of
#117706 - matthiaskrgr:rollup-lscx7dg, r=matthiaskrgr
rust-lang/rust@e0cb1cc296 bootstrap: add more
detail on change-id comments
rust-lang/rust@e878100386 bootstrap: improve
`fn check_version`
rust-lang/rust@ae4d18b2da handle the case when
the change-id isn't found
rust-lang/rust@7e4ffa98b5 Rollup merge of
#117700 - Zalathar:rename-run-coverage, r=onur-ozkan
rust-lang/rust@55306535dd Rollup merge of
#117698 - nnethercote:space_between-2, r=petrochenkov
rust-lang/rust@b1b5a8ea9d Rollup merge of
#117667 - Alexendoo:doc-clippy-config, r=albertlarsan68
rust-lang/rust@adf4981969 Rollup merge of
#117663 - klensy:bump-deps, r=davidtwco
rust-lang/rust@8198864377 Rollup merge of
#117650 - saethlin:inline-me-please, r=davidtwco
rust-lang/rust@ba7ec56639 Rollup merge of
#117531 - fmease:rustdoc-effects-properly-elide-x-crate-host-args,
r=GuillaumeGomez
rust-lang/rust@b74a84c0bc Rollup merge of
#114316 - ecnelises:aix_doc, r=workingjubilee
rust-lang/rust@fab1054e17 Auto merge of
#117542 - compiler-errors:only-normalize-predicate, r=lcnr
rust-lang/rust@750c2ecd15 Auto merge of
#116881 - LuuuXXX:issue-110087, r=onur-ozkan
rust-lang/rust@b9b7982f72 Add AIX
platform-support doc
rust-lang/rust@ef7ebaa788 rustc_target: move
file for uniformity
rust-lang/rust@1af256fe8a targets: move target
specs to spec/targets
rust-lang/rust@76aa83e3e1 target: move base
specs to spec/base
rust-lang/rust@a573880373 coverage: Rename the
`run-coverage` test mode to `coverage-run`
rust-lang/rust@7cc997d373 Auto merge of
#117699 - weihanglo:update-cargo, r=weihanglo
rust-lang/rust@0670466e2c Update cargo
rust-lang/rust@438b9a6e82 More tests for token
stream pretty-printing with adjacent punctuation.
rust-lang/rust@783d4b8b26 Clarify
`space_between`.
rust-lang/rust@91cfcb0219 Auto merge of
#117484 - Zalathar:tests, r=cjgillot
rust-lang/rust@97c9d8f405 Only use
normalize_param_env when normalizing predicate in check_item_bounds
rust-lang/rust@1b8dee19e8 Fix issue #110087
rust-lang/rust@0d5ec963bb Auto merge of
#117692 - matthiaskrgr:rollup-umaf5pr, r=matthiaskrgr
rust-lang/rust@f72e974e3f Rollup merge of
#117655 - compiler-errors:method-tweaks, r=estebank
rust-lang/rust@7552dd19ad Rollup merge of
#117625 - nnethercote:clippy-perf, r=cuviper
rust-lang/rust@3c6307240c Rollup merge of
#116399 - WaffleLapkin:erase_small_things, r=cjgillot
rust-lang/rust@b724d9c90e Rollup merge of
#113925 - clubby789:const-ctor-repeat, r=estebank
rust-lang/rust@fcdd99edca Add
-Zcross-crate-inline-threshold=yes
rust-lang/rust@e8cf29b584 rustdoc: minor
changes suggested by clippy perf lints.
rust-lang/rust@ff0b4b6091 Auto merge of
#117672 - lqd:ci-gcc-lld, r=Kobzol
rust-lang/rust@1b3733e5a4 rustc: minor changes
suggested by clippy perf lints.
rust-lang/rust@eca9a1533f Add an explanation
for `transmute_unchecked`
rust-lang/rust@1d1fe9a205 add note to remember
to update a url when bumping to gcc 10.1.0
rust-lang/rust@434b69a1d6 tests/rustdoc-json:
Rewrite tests no not use `#![no_core]`.
rust-lang/rust@0875f456f1 tests/rustdoc-json:
Remove more needless uses of `#![no_core]`.
rust-lang/rust@f784fa7bd9 tests/rustdoc-json:
Remove some needless uses of `#![no_core]`.
rust-lang/rust@d73eaaac5f ci: bump gcc on dist
x64 linux builder to 9.5
rust-lang/rust@f2fd8ad788 Document
clippy_config in nightly-rustc docs
rust-lang/rust@eed89185bb bump some deps
rust-lang/rust@0add056dee Rework
print_disambiguation_help
rust-lang/rust@88a37acb26 Yeet
MethodCallComponents
rust-lang/rust@4e6f438d2a coverage: Register
`test::Coverage` as the test suite for `tests/coverage`
rust-lang/rust@49127c64d6 coverage: Migrate
`tests/coverage-map` into `tests/coverage`
rust-lang/rust@e9d04c5e24 coverage: Migrate
`tests/run-coverage` into `tests/coverage`
rust-lang/rust@aea7c27eae coverage: Set up a
macro for declaring unified coverage test suites
rust-lang/rust@3509aed632 coverage: Add
`./x.py test coverage`, an alias for `coverage-map` and `run-coverage`
rust-lang/rust@e585a99230 coverage: Give each
coverage test mode a separate output directory
rust-lang/rust@211d4cee8e coverage: Copy all
remaining run-coverage tests into coverage-map
rust-lang/rust@4b76b97bc8 coverage: Copy all
remaining coverage-map tests into run-coverage
rust-lang/rust@f5df56b26b coverage: Flatten
`coverage-map/status-quo/` into its parent directory
rust-lang/rust@8eef39f082 coverage: Remove
`tests/coverage-map/if.rs`
rust-lang/rust@7f8a6de72c coverage: Use
`-Copt-level=2` by default in run-coverage tests
rust-lang/rust@1dcdf83927 rustdoc: properly
elide cross-crate host effect args
rust-lang/rust@2dff90dc23 add test for issue
117146
rust-lang/rust@de7a8305ae traverse region
graph instead of SCCs to compute polonius loan scopes
rust-lang/rust@03b24f2756 remove some dead
code
rust-lang/rust@70a8e157ab make
pointer_structural_match warn-by-default
rust-lang/rust@af6c7e0ca1 also lint against fn
ptr and raw ptr nested inside the const
rust-lang/rust@bec88ad4aa patterns: reject raw
pointers that are not just integers
rust-lang/rust@be0b42fabe Recover from
incorrectly ordered/duplicated function keywords
rust-lang/rust@b3d50255d9 Use consisntent
style of `size_of` in query type erasure
rust-lang/rust@61361bb212 Use
`transmute_unchecked` and make the types explicit in query type erasure
rust-lang/rust@11a64a1834 don't panic in
BorrowedCursor::write
rust-lang/rust@86b112204a Improve diagnostic
for const ctors in array repeat expressions

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-11-08"
+channel = "nightly-2023-11-09"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]