Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Toolchain upgrade to nightly-2024-12-16 failed #3788

Closed
github-actions bot opened this issue Dec 17, 2024 · 0 comments · Fixed by #3794
Closed

Toolchain upgrade to nightly-2024-12-16 failed #3788

github-actions bot opened this issue Dec 17, 2024 · 0 comments · Fixed by #3794
Assignees

Comments

@github-actions
Copy link
Contributor

Updating Rust toolchain from nightly-2024-12-15 to nightly-2024-12-16 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@0aeaa5e up to rust-lang/rust@c26db43. The log for this commit range is:
rust-lang/rust@c26db435bf Auto merge of #134349 - jieyouxu:rollup-zqn0jox, r=jieyouxu
rust-lang/rust@56545cae69 Rollup merge of #134339 - Urgau:tcx-in-early-diag, r=jieyouxu
rust-lang/rust@b5602cff44 Rollup merge of #134331 - RalfJung:bootstrap-error-index, r=onur-ozkan
rust-lang/rust@54e2d39494 Rollup merge of #134329 - taiki-e:m68k-target-feature, r=workingjubilee
rust-lang/rust@fdd0eb0e34 Rollup merge of #134111 - jyn514:run-make-nocapture, r=jieyouxu
rust-lang/rust@d18506299b Auto merge of #133417 - RalfJung:aarch64-float-abi, r=workingjubilee
rust-lang/rust@291c519c69 Improve check-cfg Cargo macro diagnostic with crate name
rust-lang/rust@e3e5bd95cd Cleanup lifetimes around EarlyContextAndPass and EarlyCheckNode
rust-lang/rust@a611773d80 Auto merge of #134117 - DianQK:gep-i8, r=oli-obk
rust-lang/rust@0894fb0fbf Auto merge of #134332 - Zalathar:rollup-oe23hkw, r=Zalathar
rust-lang/rust@3fc506b4d4 Simplify the GEP instruction for index
rust-lang/rust@74e2ac406b advice against negative features in target specs
rust-lang/rust@6c75fc848d Rollup merge of #134315 - lqd:polonius-next-episode-1, r=jackh726
rust-lang/rust@81378c8258 Rollup merge of #134313 - compiler-errors:no-itib-def-id, r=oli-obk
rust-lang/rust@b974187950 Rollup merge of #134310 - tkr-sh:master, r=Noratrieb
rust-lang/rust@d48af09ffd Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=Urgau
rust-lang/rust@5ce0d812fa Rollup merge of #133633 - jyn514:hide-linker-args, r=bjorn3,jyn514
rust-lang/rust@66679081c7 Rollup merge of #133406 - EFanZh:lock-value-accessors, r=Noratrieb
rust-lang/rust@acdcd3a895 Rollup merge of #130361 - devnexen:sock_cloexec_solaris, r=cuviper
rust-lang/rust@4795399ab6 bootstrap: make ./x test error-index work
rust-lang/rust@87139bd9cf Auto merge of #133223 - zachs18:uniquerc-impls, r=Noratrieb
rust-lang/rust@0c9d42cc56 apply review feedback
rust-lang/rust@56b8e66c66 Add m68k_target_feature
rust-lang/rust@4790a435cb Auto merge of #134258 - bjorn3:no_public_specialization, r=petrochenkov
rust-lang/rust@056eb758e7 show which test the rmake process belongs to
rust-lang/rust@da535b9155 Fix --nocapture for run-make tests
rust-lang/rust@a4ef751e26 don't show the full linker args unless --verbose is passed
rust-lang/rust@7caf35b2e5 Auto merge of #134318 - matthiaskrgr:rollup-jda0jkx, r=matthiaskrgr
rust-lang/rust@c448e35af5 Simplify opt_span_lint call in early diagnostic
rust-lang/rust@ab780fa48a Access TyCtxt from early diagnostic decoration
rust-lang/rust@0f828022db Rollup merge of #134264 - adetaylor:weak-and-nonnull, r=compiler-errors
rust-lang/rust@1fa1f3001f Rollup merge of #134259 - compiler-errors:infer-ret-ty, r=dtolnay
rust-lang/rust@9b9905593f Rollup merge of #134022 - shahn:doc_clarify_extend_for_tuple_version, r=tgross35
rust-lang/rust@08b9aa0182 Rollup merge of #133986 - olishmollie:tracking-issue-127154-documentation, r=tgross35
rust-lang/rust@67278cd9f4 Rollup merge of #133392 - compiler-errors:object-sup, r=lcnr
rust-lang/rust@ecfa09acc4 Rollup merge of #133293 - psumbera:solaris-maintainer, r=workingjubilee,jieyouxu,tgross35
rust-lang/rust@db77788dc5 Rollup merge of #132939 - uellenberg:suggest-deref, r=oli-obk
rust-lang/rust@b57d93d8b9 Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,RalfJung
rust-lang/rust@7717df2286 Correct spelling of CURRENT_RUSTC_VERSION
rust-lang/rust@8a4e5d7444 Add some convenience helper methods on hir::Safety
rust-lang/rust@b27817c8c6 Arbitrary self types v2: Weak, NonNull hints
rust-lang/rust@ca055ee7db Don't make a def id for impl_trait_in_bindings
rust-lang/rust@3f3f27bb84 Stop handling specialization in clippy's to_string_trait_impl lint
rust-lang/rust@585c71fd3e refactor access fact generation
rust-lang/rust@b0e04d5a0c move datalog fact generation into a legacy module
rust-lang/rust@6d5c591405 Replace i32 by char in split_at & _unchecked
rust-lang/rust@891a75b3a1 Add clarity to the "greater" of VecDeque::insert
rust-lang/rust@ea048cf055 Replace i32 by char to add clarity
rust-lang/rust@fb6a19bc67 Add documentation for anonymous pipe module
rust-lang/rust@1f8236d4c7 reject aarch64 target feature toggling that would change the float ABI
rust-lang/rust@eb2e928250 target_features: control separately whether enabling and disabling a target feature is allowed
rust-lang/rust@d2a98f7638 Update compiler/rustc_const_eval/src/interpret/step.rs
rust-lang/rust@831f4549cd Suggest using deref in patterns
rust-lang/rust@3a64bef2ba Also forbid target_feature annotated methods from being lang items
rust-lang/rust@d82c520f14 Clean up infer_return_ty_for_fn_sig
rust-lang/rust@f7b14035a4 Update test
rust-lang/rust@b805f30542 Remove support for specializing ToString outside the standard library
rust-lang/rust@38249be509 Don't retag the PtrMetadata(&raw const *_n) in slice indexing
rust-lang/rust@43e2fd5086 Fix ICE when multiple supertrait substitutions need assoc but only one is provided
rust-lang/rust@25a7fdf5bc Dont use span as key when collecting missing associated types from dyn
rust-lang/rust@612adbb6bf Bounds-check with PtrMetadata instead of Len in MIR
rust-lang/rust@242c6c3356 Add value accessor methods to Mutex and RwLock
rust-lang/rust@38fc918a35 Updates Solaris target information, adds Solaris maintainer
rust-lang/rust@2d2225950f UniqueRc: platform-specific AsFd/Handle/etc impls to mirror Rc
rust-lang/rust@dbd35041f5 UniqueRc: PinCoerceUnsized and DerefPure
rust-lang/rust@de5e1ddcf5 UniqueRc: comparisons and Hash
rust-lang/rust@edcc5a9bfe UniqueRc: Add more trait impls.
rust-lang/rust@22dac2339a std::net: Solaris supports SOCK_CLOEXEC as well since 11.4.

@feliperodri feliperodri self-assigned this Dec 19, 2024
granddaifuku pushed a commit to granddaifuku/kani that referenced this issue Dec 28, 2024
Relevant upstream PR: rust-lang/rust#131808.
This required replacing `rustc_ast::Attribute` with the new
`rustc_hir::Attribute`.

Resolves model-checking#3788 

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant