Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2025-01-08 to nightly-2025-01-09 without any other source changes.

Copy link
Contributor Author

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@ad211ce up to
rust-lang/rust@a580b5c. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/a580b5c379 Auto merge of #134523 - dingxiangfei2009:issue-130836-attempt-2, r=nikomatsakis

rust-lang/rust@c55eefe8bc Try to explain borrow for tail expr temporary drop order change in 2024
rust-lang/rust@4a099b29cd Don't do AccessDepth::Drop for types with no drop impl
rust-lang/rust@197f6d8081 Don't create cycles by normalizing opaques defined in the body we're checking
rust-lang/rust@13c7122df8 remove an extraneous comment
rust-lang/rust@34edb21f0b apply suggestions on fn name
rust-lang/rust@045271cccc run borrowck tests on BIDs and emit tail-expr-drop-order lints for potential violations
rust-lang/rust@6afee111c2 Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnr
rust-lang/rust@9c87288a7d Auto merge of #135234 - jhpratt:rollup-4gvvo4y, r=jhpratt
rust-lang/rust@485fae594c Rollup merge of #135219 - matthiaskrgr:simd'nt, r=compiler-errors
rust-lang/rust@57eb95ca6f Rollup merge of #135203 - RalfJung:arm-soft-float, r=workingjubilee
rust-lang/rust@45250f367f Rollup merge of #135184 - biabbas:reserve_18_aarch64, r=workingjubilee
rust-lang/rust@5fa7c6a97a Rollup merge of #135176 - kornelski:env-example, r=cuviper
rust-lang/rust@a00bd69652 Rollup merge of #135032 - jieyouxu:relnotes-interest-group, r=cuviper
rust-lang/rust@808c8f84c3 Rollup merge of #134920 - lqd:polonius-next-episode-6, r=jackh726
rust-lang/rust@5ed1fa84a5 Rollup merge of #134389 - rust-wasi-web:condvar-no-threads, r=m-ou-se
rust-lang/rust@e7ee58243a Rollup merge of #133057 - tisonkun:into-chars, r=Amanieu
rust-lang/rust@1f81f90689 Auto merge of #135207 - lnicola:sync-from-ra, r=lnicola
rust-lang/rust@07074990a9 Auto merge of #135218 - matthiaskrgr:rollup-xngklx8, r=matthiaskrgr
rust-lang/rust@5dd21df7c1 Rollup merge of #135200 - jieyouxu:stabilize-style-edition, r=ytmimi,compiler-errors
rust-lang/rust@0e48e96e65 Rollup merge of #135171 - notriddle:notriddle/stable-path-is-better, r=GuillaumeGomez
rust-lang/rust@3e12d4d152 Rollup merge of #135149 - compiler-errors:mangle, r=oli-obk
rust-lang/rust@a20d0d5a5c Rollup merge of #134989 - max-niederman:guard-patterns-hir, r=oli-obk
rust-lang/rust@c371a94e78 Rollup merge of #134745 - compiler-errors:better-arg-span-in-typeck, r=BoxyUwU
rust-lang/rust@191fb23940 Rollup merge of #133810 - lcnr:remove-verify_bound, r=compiler-errors
rust-lang/rust@b9d6e9e73f warn about broken simd not only on structs but also enums and unions when we didn't opt in to it
rust-lang/rust@fd1e95538f Merge pull request #18874 from lnicola/sync-from-rust
rust-lang/rust@e103ab1608 Merge from rust-lang/rust
rust-lang/rust@aa1ef0a432 Preparing for merge from rust-lang/rust
rust-lang/rust@427abb69bf arm: add unstable soft-float target feature
rust-lang/rust@8e4409cce3 Merge pull request #18870 from Veykril/push-vnpsptpolyol
rust-lang/rust@21faec1fec Merge pull request #18867 from Veykril/push-ntmxlropxkrr
rust-lang/rust@b039d3fc5c Drop unnecessary tracing::warn
rust-lang/rust@380439c5f3 Add some smoke tests to toolchain_info
rust-lang/rust@d28a0b8fcd Align toolchain version fetching with other toolchain info querying
rust-lang/rust@05770f2599 target-triple -> target-tuple
rust-lang/rust@c360bf5517 Merge pull request #18788 from Veykril/push-zxystwnotuvq
rust-lang/rust@764ce49445 Remove rust-analyzer.cargo.sysrootQueryMetadata config again
rust-lang/rust@b77eb96baa rustfmt: drop nightly-gating of the --style-edition flag registration
rust-lang/rust@f9a3c4122c Merge pull request #18864 from alexkirsz/alexkirsz/fix-diagnostics-clearing
rust-lang/rust@3f2f3e5180 Merge pull request #18832 from vishruth-thimmaiah/fix_string_comp
rust-lang/rust@1287e29e91 Merge pull request #18866 from bobozaur/fix-fetching-on-buildfile-changes
rust-lang/rust@9fb7c15339 project-model: fix JSON project PackageRoot buildfile inclusion
rust-lang/rust@09a4ac5e8b fix: do not offer completions within macro strings
rust-lang/rust@4d3e6feb2f lint
rust-lang/rust@9294965217 fix: Fix diagnostics not clearing between flychecks
rust-lang/rust@9344334b19 Merge pull request #18862 from lnicola/publish-test-utils
rust-lang/rust@4b387254be Set test-utils dependency version, since it's now being published
rust-lang/rust@8db8e3cc37 Merge pull request #18853 from ChayimFriedman2/no-completion
rust-lang/rust@af15e048b2 Reserve x18 register for aarch64 wrs vxworks target
rust-lang/rust@fe8b12f8cf only avoid blaming assignments from argument patterns
rust-lang/rust@1b2281a493 point out unblamed constraints from Copy/Sized bounds in region errors
rust-lang/rust@2c5815b285 make outlives constraints from pointer comparisons less boring
rust-lang/rust@10061b3a4f make outlives constraints from generic arguments less boring
rust-lang/rust@6421d4cf80 best_blame_constraint: prioritize blaming interesting-seeming constraints
rust-lang/rust@45b2ae935d remove the unused ConstraintCategory::ClosureBounds
rust-lang/rust@50222dba2e best_blame_constraint: avoid blaming assignments without user-provided types
rust-lang/rust@31e4d8175a best_blame_constraint: avoid blaming constraints from MIR generated by desugaring
rust-lang/rust@2864906fce best_blame_constraint: add a special case to recover object lifetime default notes
rust-lang/rust@ac922245f0 best_blame_constraint: don't filter constraints by sup SCC
rust-lang/rust@78f89a6210 Merge pull request #18858 from davidbarsky/davidbarsky/fix-18854
rust-lang/rust@2249232ad8 further clean up best_blame_constraint
rust-lang/rust@aa8d5bff4c cleanup: remove ExtraConstraintInfo
rust-lang/rust@e02b3ec9cc fix: clear diagnostics on cancel unconditionally, fixing #18854
rust-lang/rust@85a71ea0c7 More compelling env_clear() examples
rust-lang/rust@e18e1eb991 Fix case where completion inside macro that expands to #[test] was unavailable
rust-lang/rust@c7a806ad08 rustdoc: use stable paths as preferred canonical paths
rust-lang/rust@5afee0d54d Merge pull request #18852 from ChayimFriedman2/proc-macro-panic
rust-lang/rust@21b9e32af7 Fix a bug that was caused by fixup reversing
rust-lang/rust@5a566005c1 Normalize each signature input/output in typeck_with_fallback with its own span
rust-lang/rust@22ab7e37be Merge pull request #18846 from Veykril/push-kmspklwynynu
rust-lang/rust@0b832bf8a3 minor: New clippy lints
rust-lang/rust@fc7ee238d1 address review comments
rust-lang/rust@d0db503515 Merge pull request #18848 from Veykril/push-kyyoskmvnutp
rust-lang/rust@29c21d87d0 fix: Fix non-cargo flychecks immediately clearing received diagnostics
rust-lang/rust@43b44cf128 Merge pull request #18836 from Veykril/push-kksuoxxptvty
rust-lang/rust@0389235a15 fix: Be more permissive with completion resolve data
rust-lang/rust@68c2241053 Merge pull request #18845 from Veykril/push-yyuolqomnkys
rust-lang/rust@e47bb0df91 fix: Fix flycheck getting confused which package to check
rust-lang/rust@aeae353a2c Merge pull request #18843 from Veykril/push-usuzxtzsnrpt
rust-lang/rust@5ee1b0af00 fix: Handle newstyle rustc_intrinsic safety correctly
rust-lang/rust@f4757238e5 Merge pull request #18841 from Veykril/push-lsuokpqkprqn
rust-lang/rust@6aad73603f fix: Fix relative .cargo env vars not working
rust-lang/rust@86d8b79d0d Use a post-monomorphization typing env when mangling components that come from impls
rust-lang/rust@ab07e78092 Failing test
rust-lang/rust@739362113c Merge pull request #18821 from ChayimFriedman2/coerce-pointee
rust-lang/rust@2a8471191e Support the new CoercePointee derive
rust-lang/rust@c635d7e559 Merge pull request #18835 from Veykril/push-wnmwwoktmpyt
rust-lang/rust@28b0a9500d Hide synthetic locals from completions
rust-lang/rust@bfafdd9d9f Merge pull request #18831 from lnicola/ci-rustc-tests
rust-lang/rust@b7dc4648e1 Fix metrics workflow
rust-lang/rust@b2892ef6ba Merge pull request #18806 from LHolten/deduplicate-crate-graph
rust-lang/rust@981645b160 Merge pull request #18830 from alibektas/18814
rust-lang/rust@fc3e0a15df fix: 18814
rust-lang/rust@9b0aa8e67d Merge pull request #18829 from Veykril/push-ouvwrxoovwkr
rust-lang/rust@e86b24793f Merge pull request #18828 from lnicola/edition-description
rust-lang/rust@e4b1b558a8 Disable rustc_test metrics again
rust-lang/rust@31b45b0341 Merge pull request #18827 from Veykril/push-zqsplmtwsxxk
rust-lang/rust@b18979f460 Add description field to edition manifest
rust-lang/rust@40b37ee177 minor: Honor CARGO_TARGET_DIR for cargo target dir config
rust-lang/rust@2e7d94bab1 Merge pull request #18826 from Veykril/push-qnsqormwlwqm
rust-lang/rust@c5c45e9b69 fix: Clear flycheck diagnostics per package properly
rust-lang/rust@1ae0258c6a Merge pull request #18825 from Veykril/push-sllokkprznkq
rust-lang/rust@b763a97a6c minor: Encode TraitData bools as bitflags
rust-lang/rust@70ba3b56ff Merge pull request #18822 from bryceberger/targetdir-absolute
rust-lang/rust@954efa9ddd Merge pull request #18327 from ChayimFriedman2/flat-tt
rust-lang/rust@369a6546c7 allow targetDir to be an absolute path
rust-lang/rust@acb3490b09 Store token trees in contiguous Vec instead of as a tree
rust-lang/rust@3af8dc4744 triagebot: register relnotes-interest-group ping group
rust-lang/rust@943ee02ee9 Remove rust-analyzer duplicate crates integration tests
rust-lang/rust@4485cbb0d4 Automatically sort crate graph
rust-lang/rust@b4f865a701 Merge pull request #18820 from dfireBird/fix-space-char-on-literal-render
rust-lang/rust@ac9e28031c fix no space insert before and after if value is only spaces
rust-lang/rust@bd33815d44 Merge pull request #18819 from ChayimFriedman2/i128-max
rust-lang/rust@d93ab14a77 Fix overflow detection in MIR evaluation
rust-lang/rust@ec46a15284 Merge pull request #18817 from Veykril/push-zzkkotwuyqzt
rust-lang/rust@efbbf570a0 fix: Fix flycheck cancellations leaving stale errors
rust-lang/rust@71d996f34e Fix tests
rust-lang/rust@48d11dfc96 Remove load_cargo_with_fake_sysroot
rust-lang/rust@74d0d4e050 Merge pull request #18179 from ChayimFriedman2/omit-trait-completion
rust-lang/rust@c15e36a8de Cleanup
rust-lang/rust@c84d09a7c3 Revamp auto-import exclude config
rust-lang/rust@786056cb82 Simplify completion config path resolutions
rust-lang/rust@13af22df98 Reduce the default autoimport exclusion list
rust-lang/rust@24699bd4d1 Merge pull request #18809 from Veykril/push-ktwrzsmzlplw
rust-lang/rust@528ed6bd01 Allow flyimporting excluded trait items if there is an exact match in the name
rust-lang/rust@bd6ea14002 Allow excluding specific traits from completion
rust-lang/rust@854caf37d6 Merge pull request #18757 from roife/fix-17812
rust-lang/rust@c95aa86d30 internal: Do not render closure ids in hover messages
rust-lang/rust@9d444c26c9 remove borrowck duplicate of std::ops::ControlFlow
rust-lang/rust@79d761d93c remove allow_two_phase_borrow
rust-lang/rust@ff1aaa52ff remove empty util module
rust-lang/rust@56e7575ddd move find_assignments to its only use site
rust-lang/rust@46154b2253 localize typeck constraints
rust-lang/rust@eb7da16408 move typeck constraints conversion to its own module
rust-lang/rust@8cefc0a05b cover guard patterns in clippy lints
rust-lang/rust@c3132e77ca allow irrefutable let patterns in feature gate test
rust-lang/rust@087b8721db typecheck guard pattern conditions
rust-lang/rust@b579c36224 add guard patterns to HIR and implement lowering
rust-lang/rust@1334961586 Merge pull request #18797 from profetia/issue10583
rust-lang/rust@ccbc3d2cb5 Add back optimizations
rust-lang/rust@03b7eb3810 Add back tests removed in #18080
rust-lang/rust@5b51c4c961 Add back crate graph deduplication
rust-lang/rust@431aab10fb Remove CARGO_RUSTC_CURRENT_DIR
rust-lang/rust@258823daa9 Fix replace-if-let-with-match generates non-exhausive match
rust-lang/rust@87c733c31e Merge pull request #18807 from Veykril/push-vxopsoummyzx
rust-lang/rust@204c8d704a Base relative cargo configs onto the manifest
rust-lang/rust@551a91aeaa fix: Populate cargo config env vars for crates
rust-lang/rust@88e630b859 Merge pull request #18802 from roife/fix-18800
rust-lang/rust@fd7ef275f6 Merge pull request #18805 from Veykril/push-pzurvxvoolxs
rust-lang/rust@8860d073f3 fix: incorrect file_id used for ranges in outgoing calls
rust-lang/rust@7468106726 Implement <RaSpanServer as SourceFile>::eq
rust-lang/rust@b8fdfcc227 Remove recursion_limit special casing in tests
rust-lang/rust@8bb0fab904 Merge pull request #18758 from mgsloan/scip-unique-symbols
rust-lang/rust@1524ab1473 Merge pull request #18801 from roife/fix-18799
rust-lang/rust@f581774e23 feat: show go-to-type-def actions for subst when hovering
rust-lang/rust@8a032e4d50 Move container_to_definition function into enclosing_definition
rust-lang/rust@96fc18a3ce Remove erroneous omit of inherent impls
rust-lang/rust@2d434dd767 TODO -> FIXME
rust-lang/rust@b7cdd64690 Make impl HirDisplay for TraitRef provide just the trait type
rust-lang/rust@8b66221e81 Add test cases for #10583
rust-lang/rust@dbf07bab76 refactor snapshot-tests detection in runnables
rust-lang/rust@65bf7f790b Merge pull request #18795 from dfireBird/fix-hover-render
rust-lang/rust@a0acb233e1 Fix render of literal to be rendered in codeblock
rust-lang/rust@20a7bf12eb Merge pull request #18790 from ChayimFriedman2/proper-make
rust-lang/rust@56e05dc2bc Merge pull request #18794 from 1hakusai1/fix_fill_match_arm_in_tokio_main
rust-lang/rust@39ba498c8c Merge pull request #18793 from ChayimFriedman2/fixup
rust-lang/rust@6fa3b3f85b Fix bug of "fill match arm" action in tokio::main macro
rust-lang/rust@b4ad30deaa Remove unneeded conversions
rust-lang/rust@4a1c7d1719 Merge pull request #18792 from Veykril/push-wonkvzozmmwz
rust-lang/rust@a081215f40 Merge pull request #18791 from roife/fix-18786
rust-lang/rust@042528aa76 Move proc-macro protocol into legacy module
rust-lang/rust@0affbd4919 Cleanup proc-macro dylib handling
rust-lang/rust@d4b53f5aab Decouple proc-macro server protocol from the server implementation
rust-lang/rust@9016a4cdf7 fix: avoid generating colliding names in extract_variable
rust-lang/rust@33f1f1d787 Move some more AST makers to the quote macro
rust-lang/rust@a0c052fa57 Create a quote!-like API for crafting AST nodes
rust-lang/rust@be12c80d23 Add a function to convert a SyntaxKind to its text, where possible
rust-lang/rust@ca0c8da517 Generate a method for static retrieval of the SyntaxKind of a node, where possible
rust-lang/rust@259eaf9c90 Merge pull request #18789 from Veykril/push-sypxzqsvmzzp
rust-lang/rust@7f757b96f5 fix: Fix invalid -O flag used by cfg discovery
rust-lang/rust@b570206ca4 Merge pull request #18785 from Veykril/push-uvsqposqyvmo
rust-lang/rust@bde1322b90 Merge pull request #18787 from Veykril/push-uymlpukspxqr
rust-lang/rust@f36a93ec52 Inline toolchain_info module
rust-lang/rust@3d9a15bbf9 Automatically cancel CI checks on new push to same PR
rust-lang/rust@d3ebb1469c Merge pull request #18774 from Veykril/push-ysppqxpuknnw
rust-lang/rust@d105253194 Force a current dir to be supplied for rustc info fetching
rust-lang/rust@a4a6a43000 Split out ProjectWorkspace::load_cargo
rust-lang/rust@8606441fcc Enforce a current directory being set for spawned commands
rust-lang/rust@d5f7e78f69 Cleanup toolchain info fetching
rust-lang/rust@0337e79c5c Merge pull request #18784 from Veykril/push-pqtwsvquxoty
rust-lang/rust@1f0696de43 fix: Do not merge spans if they have different anchors
rust-lang/rust@54b75a1479 Merge pull request #18779 from ChayimFriedman2/enum-variant
rust-lang/rust@a102ea1c2d Describe variance resolution approach differences to rustc
rust-lang/rust@30fa18c44f Consider Enum::Variant even when it comes from a different crate
rust-lang/rust@bf27d88616 Show variance of parameters on hover
rust-lang/rust@e54cf80b98 Simplify
rust-lang/rust@d66a337658 Get rid of constrain and solve steps
rust-lang/rust@0e50c3c81b Remove unnecessary VarianceTerm
rust-lang/rust@4ea29d619c Implement parameter variance inference
rust-lang/rust@47f497d636 Merge pull request #18778 from Veykril/push-oontvoqmxkno
rust-lang/rust@873cf255de Add DynTyExt::principal_id
rust-lang/rust@73ae6a0ba8 Downgrade salsa log levels
rust-lang/rust@171be2bd58 fix: Fix flycheck diagnostics flickering for binary targets
rust-lang/rust@517d52dc36 Only include SCIP SymbolInformation for first inherent impl
rust-lang/rust@df99392675 Message updates from review
rust-lang/rust@77d5645692 Update crates/ide/src/moniker.rs
rust-lang/rust@a239113bf4 Update crates/ide/src/moniker.rs
rust-lang/rust@8d8b42df66 Merge pull request #18770 from Erithax/patch-1
rust-lang/rust@b2531ba7a6 fix doc typo
rust-lang/rust@eea4a9ab9e Merge pull request #18744 from gbbosak/master
rust-lang/rust@352116ce97 Merge pull request #18762 from davidbarsky/davidbarsky/wrap-salsa-cancellation-error
rust-lang/rust@bae8fb5c80 Merge pull request #18761 from Veykril/push-vktnzltnxupr
rust-lang/rust@637700e974 internal: wrap salsa::Cycle
rust-lang/rust@5290f20f08 internal: Swallow error: config value is not set cargo error
rust-lang/rust@ec5e4855cc Merge pull request #18760 from Veykril/push-tkvlvvqyszrs
rust-lang/rust@27dd75d93c internal: Workaround salsa cycles leaking
rust-lang/rust@e481a51feb minor: format editor/code
rust-lang/rust@d6ec36063f move env vars for snapshot tests to UpdateTest
rust-lang/rust@d938414a34 optimize snapshot-testing macro detection and add tests
rust-lang/rust@c8f29aad5e fix incorrect name for UpdateTest config
rust-lang/rust@c17dea99ff fix: await setting config to not ask before UpdateTest and format
rust-lang/rust@2bfa83beb3 feat: add config UpdateTest to hover actions
rust-lang/rust@147d1ddfd4 feat: support UpdateTest in hover actions and runnables
rust-lang/rust@60b4ed5bd3 feat: support UpdateTest in codelens
rust-lang/rust@08677cb70d feat: Add TestDefs to find usage of Expect, Insta and Snapbox
rust-lang/rust@cd8522ef4e Use empty SymbolInformation.signature_documentation.relative_path
rust-lang/rust@bbc6242b4c Provide SCIP external_symbols + fix symbols provided with Document
rust-lang/rust@b1c091c573 Improve SCIP symbols
rust-lang/rust@022bece913 Merge pull request #18756 from roife/fix-18751
rust-lang/rust@9e7d29688f fix missing name enum when hovering on fields in variants
rust-lang/rust@96f068c169 Merge pull request #18755 from Veykril/push-psllyxqtywzs
rust-lang/rust@1287b9362e fix: Fix metrics workflow using the wrong download-artifact version
rust-lang/rust@6d10170a07 Merge pull request #18743 from ChayimFriedman2/e0107
rust-lang/rust@9c554620c2 Merge pull request #18754 from Veykril/push-zkkzxrsxnqnm
rust-lang/rust@9d44ee1312 Unify handling of path diagnostics in hir-ty
rust-lang/rust@4be8178a76 Cleanup target fetching for cargo metadata
rust-lang/rust@8bfb2fe018 Merge pull request #18707 from ChayimFriedman2/subst
rust-lang/rust@eb80a6bd48 Merge pull request #18718 from Giga-Bowser/fix-syntaxfactory-intoiterator
rust-lang/rust@b3308bce33 Merge pull request #18722 from markmurphydev/status_bar_settings
rust-lang/rust@a63d166eeb Merge pull request #18750 from Veykril/push-tyvtqpwrwvsr
rust-lang/rust@9251d422b8 Back out "internal: Disable rustc test metrics"
rust-lang/rust@91fb189652 Remove dangling outdated test module
rust-lang/rust@417dcc4143 Merge pull request #18749 from PrototypeNM1/windows-debugger-wait
rust-lang/rust@5e7ce33966 minor: Break out of waiting for debugger on Windows using native debugger check API.
rust-lang/rust@0d5b480159 Treat ; as a terminator rather than something that can be glued together in an expression
rust-lang/rust@7218fd19e0 Impl String::into_chars
rust-lang/rust@b35a8467b6 change config rust-analyzer.statusBar.documentSelector to showStatusBar
rust-lang/rust@b520666197 internal: Standardize how we take iterator parameters in SyntaxFactory
rust-lang/rust@932a6d366b Move ty lowering diagnostic definitions into a separate module
rust-lang/rust@b80bb583e4 Show substitution where hovering over generic things
rust-lang/rust@45c7ddfea6 Implement Condvar::wait_timeout for targets without threads
rust-lang/rust@1228b38cbd add assert
rust-lang/rust@baf4bb7100 remove unnecessary eval_verify_bound

@github-actions github-actions bot requested a review from a team as a code owner January 13, 2025 10:38
@carolynzech carolynzech reopened this Jan 13, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jan 13, 2025
@qinheping qinheping enabled auto-merge January 13, 2025 16:47
@qinheping qinheping added this pull request to the merge queue Jan 13, 2025
Merged via the queue into main with commit aa0aeaa Jan 13, 2025
28 checks passed
@qinheping qinheping deleted the toolchain-2025-01-09 branch January 13, 2025 18:02
github-merge-queue bot pushed a commit that referenced this pull request Feb 6, 2025
Github generated release notes:

## What's Changed
* Automatic toolchain upgrade to nightly-2025-01-08 by @github-actions
in #3821
* Automatic cargo update to 2025-01-13 by @github-actions in
#3824
* Automatic toolchain upgrade to nightly-2025-01-09 by @github-actions
in #3825
* Bump ncipollo/release-action from 1.14.0 to 1.15.0 by @dependabot in
#3826
* Bump tests/perf/s2n-quic from `ac52a48` to `adc7ba9` by @dependabot in
#3827
* Automatic toolchain upgrade to nightly-2025-01-10 by @github-actions
in #3828
* Automatic toolchain upgrade to nightly-2025-01-11 by @github-actions
in #3830
* Verify contracts/stubs for generic types with multiple inherent
implementations by @carolynzech in
#3829
* Update Charon submodule by @thanhnguyen-aws in
#3823
* Automatic toolchain upgrade to nightly-2025-01-12 by @github-actions
in #3831
* Automatic toolchain upgrade to nightly-2025-01-13 by @github-actions
in #3833
* Upgrade toolchain to 2025-01-15 by @tautschnig in
#3835
* Automatic toolchain upgrade to nightly-2025-01-16 by @github-actions
in #3836
* Add a regression test for `no_std` feature by @carolynzech in
#3837
* Use fully-qualified name for size_of by @zhassan-aws in
#3838
* Automatic cargo update to 2025-01-20 by @github-actions in
#3842
* Bump tests/perf/s2n-quic from `adc7ba9` to `f0649f9` by @dependabot in
#3844
* Upgrade toolchain to nightly-2025-01-22 by @tautschnig in
#3843
* Remove `DefKind::Ctor` from filtering crate items by @carolynzech in
#3845
* Enable valid_ptr post_condition harnesses by @tautschnig in
#3847
* Update build command in docs to use release mode by @zhassan-aws in
#3846
* Automatic toolchain upgrade to nightly-2025-01-23 by @github-actions
in #3848
* Automatic toolchain upgrade to nightly-2025-01-24 by @github-actions
in #3850
* Remove the openssl-devel package from dependencies by @zhassan-aws in
#3852
* Fix validity checks for `char` by @celinval in
#3853
* Bump tests/perf/s2n-quic from `f0649f9` to `4500593` by @dependabot in
#3857
* Automatic cargo update to 2025-01-27 by @github-actions in
#3856
* Deprecate `--enable-unstable` and `--restrict-vtable` by @celinval in
#3859
* Stub linker to avoid missing symbols errors by @celinval in
#3858
* Toolchain upgrade to nightly-2025-01-28 by @feliperodri in
#3855
* Allow multiple annotations, but check for duplicate targets. by
@remi-delmas-3000 in #3808
* Move documentation of kani_core modules to right places by @qinheping
in #3851
* Fix missing function declaration issue by @celinval in
#3862
* Fix transmute codegen when sizes are different by @celinval in
#3861
* Remove symtab2gb from bundle by @zhassan-aws in
#3865
* Update the rustc hack for CLion / RustRover by @celinval in
#3868
* Bump tests/perf/s2n-quic from `4500593` to `82dd0b5` by @dependabot in
#3872
* Automatic cargo update to 2025-02-03 by @github-actions in
#3869
* Add reference for loop contracts by @qinheping in
#3849
* remove flag float-overflow-check by @rajath-mk in
#3873

## New Contributors
* @rajath-mk made their first contribution in
#3873

**Full Changelog**:
kani-0.58.0...kani-0.59.0



By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Z-EndToEndBenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants