You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This PR upgrades the toolchain to nightly-2025-05-07.
Some wrong coverage expected tests are fixed.
Relevant uptream PR:
rust-lang/rust@77a7ae4e9f coverage: Handle
hole spans without dividing spans into buckets
rust-lang/rust@4d5a1acebf coverage: Only merge
adjacent coverage spans
General idea: The spans of BasicCoverageBlock are not merged
automatically , so we have to do that from Kani side.
Resolves#4063
By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Updating Rust toolchain from nightly-2025-05-06 to nightly-2025-05-07 requires source changes.
The failed automated run can be found here.
Please review the changes at https://github.com/rust-lang/rust from rust-lang/rust@2e6882a up to rust-lang/rust@27d6200. The log for this commit range is:
rust-lang/rust@27d6200a70 Auto merge of #140708 - GuillaumeGomez:rollup-egt3nl9, r=GuillaumeGomez
rust-lang/rust@ee0d68fcab Rollup merge of #140703 - Kobzol:post-merge-race-fix, r=marcoieni
rust-lang/rust@74e5184f9b Rollup merge of #140692 - Zalathar:linked-graph, r=wesleywiser
rust-lang/rust@3b82d4640a Rollup merge of #139966 - Zalathar:span-merge, r=oli-obk
rust-lang/rust@8929f8a180 Rollup merge of #136183 - hkBst:patch-25, r=Amanieu
rust-lang/rust@a84a946a3d Handle PR not found in post-merge workflow
rust-lang/rust@1a95cc6f9d Auto merge of #140702 - GuillaumeGomez:rollup-rpyxs20, r=GuillaumeGomez
rust-lang/rust@9d05497ff6 Rollup merge of #140681 - jieyouxu:test_helpers, r=petrochenkov
rust-lang/rust@ebd12fcc5e Rollup merge of #140658 - dianne:lit-deref-pats-p2, r=oli-obk
rust-lang/rust@3501842edb Rollup merge of #140632 - Skgland:test-for-issue-81317, r=oli-obk
rust-lang/rust@a92ba60d0f Rollup merge of #140135 - GuillaumeGomez:sidebars-image, r=rustdoc
rust-lang/rust@18a3599fe3 Update iterator.rs to use arrays by value
rust-lang/rust@77a7ae4e9f coverage: Handle hole spans without dividing spans into buckets
rust-lang/rust@4d5a1acebf coverage: Only merge adjacent coverage spans
rust-lang/rust@f5d3fe273b Auto merge of #140561 - compiler-errors:gather-fewer-locals, r=lcnr
rust-lang/rust@cbaa73beca tests: don't ignore compiler stderr in
lib-defaults.rs
rust-lang/rust@651e9cf327 Auto merge of #140695 - Zalathar:rollup-i32gzbo, r=Zalathar
rust-lang/rust@546c1c2dd4 Rollup merge of #140687 - ehuss:update-mdbook, r=jieyouxu
rust-lang/rust@f14b4e6924 Rollup merge of #140678 - compiler-errors:dont-ice-on-infer-in-upvar, r=lcnr
rust-lang/rust@d36e719fbc Rollup merge of #140673 - GuillaumeGomez:clean-rustdoc-tests, r=notriddle
rust-lang/rust@8e9a878a2a Rollup merge of #140634 - smrobtzz:mips-elf-fixes, r=workingjubilee
rust-lang/rust@6238555e72 Rollup merge of #140598 - ShE3py:iter-misc-docs, r=workingjubilee
rust-lang/rust@7ea3350902 Rollup merge of #140532 - celinval:chores-smir-ra, r=oli-obk
rust-lang/rust@7cd7605277 Rollup merge of #140393 - joboet:sys_common_process, r=thomcc
rust-lang/rust@42156bde4d Rollup merge of #140251 - Zalathar:coverage-dump-path, r=clubby789
rust-lang/rust@627873a078 Rollup merge of #140035 - fee1-dead-contrib:push-oszwkkvmpkks, r=jieyouxu,wesleywiser
rust-lang/rust@d5c09b4aa6 Rollup merge of #139773 - thaliaarchi:vec-into-iter-last, r=workingjubilee
rust-lang/rust@5ca0053c79 Rollup merge of #139764 - dtolnay:extractif, r=Amanieu
rust-lang/rust@01cbc86218 Rollup merge of #139550 - Urgau:rmeta-remap-path-scope, r=nnethercote
rust-lang/rust@9e7fb67838 Rename
graph::implementation::Graph
toLinkedGraph
rust-lang/rust@c35914383a Consistent trait bounds for ExtractIf Debug impls
rust-lang/rust@c53a76743c coverage-dump: Dump filenames instead of global file IDs (and bless)
rust-lang/rust@041b2b2c98 coverage-dump: Make filenames available to covfun record dumping
rust-lang/rust@f1b8cd433f coverage-dump: Include filenames hash in covfun line data
rust-lang/rust@bc3f0e326a coverage-dump: Extract a common parser method for maybe-compressed bytes
rust-lang/rust@89319f2e12 coverage-dump: Extract some common code to an
llvm_utils
submodulerust-lang/rust@a3d5562fcf bootstrap: Add check/test/run steps for src/tools/coverage-dump
rust-lang/rust@7295b08a17 Auto merge of #131160 - ismailarilik:handle-potential-query-instability-lint-for-rustc-middle, r=oli-obk
rust-lang/rust@4a0969e06d Auto merge of #140682 - GuillaumeGomez:rollup-6xjf6zn, r=GuillaumeGomez
rust-lang/rust@292aea50d8 Update mdbook to 0.4.49
rust-lang/rust@2a882f75b4 Rollup merge of #140676 - rustbot:docs-update, r=ehuss
rust-lang/rust@bdbf1c631a Rollup merge of #140672 - compiler-errors:deeply-normalize, r=lcnr
rust-lang/rust@5822dd6247 Rollup merge of #140670 - onur-ozkan:129959, r=Kobzol
rust-lang/rust@0d7067d7b2 Rollup merge of #140661 - Darksonn:fixedx18-tm, r=wesleywiser
rust-lang/rust@6cee5bf556 Rollup merge of #140636 - onur-ozkan:panic-tracker-for-t-macro, r=Kobzol
rust-lang/rust@1c801a385c Rollup merge of #140605 - lcnr:defer-opaque-type-error, r=compiler-errors
rust-lang/rust@224e3ca096 Rollup merge of #140559 - rperier:type-ir-to-type-middle, r=compiler-errors
rust-lang/rust@1e90557ae8 Rollup merge of #140374 - compiler-errors:global_asm-bug, r=lcnr
rust-lang/rust@246acdbb95 Rollup merge of #140357 - onur-ozkan:133840, r=clubby789
rust-lang/rust@ab7623e93c Rollup merge of #140115 - dianqk:gvn-matchbr, r=oli-obk
rust-lang/rust@677a5aca7f Rollup merge of #140080 - dianqk:one-mirpatch, r=oli-obk
rust-lang/rust@fb8784585e fix tidy and bless test
rust-lang/rust@c0dfa44c48 Be a bit more relaxed about not yet constrained infer vars in closure upvar analysis
rust-lang/rust@7fc84ac964 expand comment
rust-lang/rust@6a7996e303 Take into-account
-Zremap-path-scope
when embedding filenamesrust-lang/rust@872387195d Update books
rust-lang/rust@57941afb23 Apply suggestions from code review
rust-lang/rust@fa6d0d1ba2 Use more accurate ELF flags on MIPS
rust-lang/rust@12d3021ef0 Deeply normalize in the new solver in WF
rust-lang/rust@27e39c3ac6 Created
tests/rustdoc/async
subfolder to limit number of files at the top levelrust-lang/rust@e14e19a67d Created
tests/rustdoc/extern
subfolder to limit number of files at the top levelrust-lang/rust@e245c3bc6b Move primitive rustdoc tests into the
primitive
sub folderrust-lang/rust@4b6bc73507 Created
tests/rustdoc/enum
subfolder to limit number of files at the top levelrust-lang/rust@fa2b9227a1 Created
tests/rustdoc/assoc
subfolder to limit number of files at the top levelrust-lang/rust@b84f4cc39e Created
tests/rustdoc/impl
subfolder to limit number of files at the top levelrust-lang/rust@be71d8b24f Created
tests/rustdoc/doc-cfg
subfolder to limit number of files at the top levelrust-lang/rust@d1f4a0bcb6 Created
tests/rustdoc/macro
subfolder to limit number of files at the top levelrust-lang/rust@eee6c97535 Created
tests/rustdoc/private
subfolder to limit number of files at the top levelrust-lang/rust@a00b39961a Move intra-doc tests into the expected subfolder
rust-lang/rust@9db7de5915 Created
tests/rustdoc/jump-to-def
subfolder to limit number of files at the top levelrust-lang/rust@ff971d001d Created
tests/rustdoc/auto
subfolder to limit number of files at the top levelrust-lang/rust@b374996ab8 Created
tests/rustdoc/anchors
subfolder to limit number of files at the top levelrust-lang/rust@099f730dcf Created
tests/rustdoc/source-code-pages
subfolder to limit number of files at the top levelrust-lang/rust@b796179f98 Created
tests/rustdoc/reexports
subfolder to limit number of files at the top levelrust-lang/rust@662182637e Implement RFC 3503: frontmatters
rust-lang/rust@29f9aaf503 calculate step duration in a panic-safe way
rust-lang/rust@45598de704 Do not gather local all together at the beginning of typeck
rust-lang/rust@2426dbcde2 Handle rustc_middle cases of rustc::potential_query_instability lint
rust-lang/rust@833c212b81 Rename Instance::new to Instance::new_raw and add a note that it is raw
rust-lang/rust@3a1ee645ca Resolve instance for SymFn in global/naked asm
rust-lang/rust@4b58c5034a Make -Zfixed-x18 into a target modifier
rust-lang/rust@7e4f6d3a30 update unstable book
rust-lang/rust@17bb4bbc86 always peel
&mut
, to allow matching on&mut str
rust-lang/rust@fe98130e0f match ergonomics for string and byte string literal patterns
rust-lang/rust@a8f7fd1d26 update
cc_detect
testsrust-lang/rust@e5879018ef move logic for telling whether to peel smart pointers into a helper
rust-lang/rust@de44231d22 implement
PanicTracker
to trackt
panicsrust-lang/rust@d0216b5386
fn check_opaque_type_parameter_valid
defer errorrust-lang/rust@4ba683ee52 add a test for issue rust-lang/rust#81317
rust-lang/rust@cbdd7134ff Implement Iterator::last for vec::IntoIter
rust-lang/rust@415a73e3eb docs: alias
limit
toIterator::take
, cite[u8]::utf8_chunks
inUtf8Chunks
rust-lang/rust@6970813e78 Use less rustc_type_ir in the compiler codebase
rust-lang/rust@0f81fca8ec Change rustc_driver dependency on stable_mir crate
rust-lang/rust@5f145689b1 std: get rid of
sys_common::process
rust-lang/rust@7669d50119 add a FIXME
rust-lang/rust@8290766bbe bypass linker configuration and cross target check on
x check
rust-lang/rust@f7d8558003 Add rustdoc-gui test to ensure sidebars share the same image
rust-lang/rust@934e86b24f Unify sidebar buttons to use the same image
rust-lang/rust@821925e8a4 Update browser-ui-test version to 0.20.6
rust-lang/rust@5881b7c68b mir-opt: execute MatchBranchSimplification after GVN
rust-lang/rust@11cfc16a60 mir-opt: Use one MirPatch in MatchBranchSimplification
The text was updated successfully, but these errors were encountered: