Automatic toolchain upgrade to nightly-2024-04-21 #3158
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
tautschnig
approved these changes
Apr 22, 2024
feliperodri
approved these changes
Apr 22, 2024
karkhaz
added a commit
that referenced
this pull request
May 7, 2024
For reference, here is the auto-generated changelog ## What's Changed * Upgrade toolchain to 2024-04-18 and improve toolchain workflow by @celinval in #3149 * Automatic toolchain upgrade to nightly-2024-04-19 by @github-actions in #3150 * Stabilize cover statement and update contracts RFC by @celinval in #3091 * Automatic toolchain upgrade to nightly-2024-04-20 by @github-actions in #3154 * Bump tests/perf/s2n-quic from `2d5e891` to `5f88e54` by @dependabot in #3140 * Automatic cargo update to 2024-04-22 by @github-actions in #3157 * Automatic toolchain upgrade to nightly-2024-04-21 by @github-actions in #3158 * Bump tests/perf/s2n-quic from `5f88e54` to `9730578` by @dependabot in #3159 * Fix cargo audit error by @jaisnan in #3160 * Fix cbmc-update CI job by @tautschnig in #3156 * Automatic cargo update to 2024-04-29 by @github-actions in #3165 * Bump tests/perf/s2n-quic from `9730578` to `1436af7` by @dependabot in #3166 * Do not assume that ZST-typed symbols refer to unique objects by @tautschnig in #3134 * Fix copyright check for `expected` tests by @adpaco-aws in #3170 * Remove kani::Arbitrary from the modifies contract instrumentation by @feliperodri in #3169 * Automatic cargo update to 2024-05-06 by @github-actions in #3172 * Bump tests/perf/s2n-quic from `1436af7` to `6dd41e0` by @dependabot in #3174 * Avoid unnecessary uses of Location::none() by @tautschnig in #3173 **Full Changelog**: kani-0.50.0...kani-0.51.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: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
zpzigi754
pushed a commit
to zpzigi754/kani
that referenced
this pull request
May 8, 2024
Update Rust toolchain from nightly-2024-04-20 to nightly-2024-04-21 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@f9b1614 up to rust-lang/rust@dbce3b4.
qinheping
pushed a commit
to qinheping/kani
that referenced
this pull request
May 9, 2024
Update Rust toolchain from nightly-2024-04-20 to nightly-2024-04-21 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@f9b1614 up to rust-lang/rust@dbce3b4.
qinheping
pushed a commit
to qinheping/kani
that referenced
this pull request
May 9, 2024
For reference, here is the auto-generated changelog ## What's Changed * Upgrade toolchain to 2024-04-18 and improve toolchain workflow by @celinval in model-checking#3149 * Automatic toolchain upgrade to nightly-2024-04-19 by @github-actions in model-checking#3150 * Stabilize cover statement and update contracts RFC by @celinval in model-checking#3091 * Automatic toolchain upgrade to nightly-2024-04-20 by @github-actions in model-checking#3154 * Bump tests/perf/s2n-quic from `2d5e891` to `5f88e54` by @dependabot in model-checking#3140 * Automatic cargo update to 2024-04-22 by @github-actions in model-checking#3157 * Automatic toolchain upgrade to nightly-2024-04-21 by @github-actions in model-checking#3158 * Bump tests/perf/s2n-quic from `5f88e54` to `9730578` by @dependabot in model-checking#3159 * Fix cargo audit error by @jaisnan in model-checking#3160 * Fix cbmc-update CI job by @tautschnig in model-checking#3156 * Automatic cargo update to 2024-04-29 by @github-actions in model-checking#3165 * Bump tests/perf/s2n-quic from `9730578` to `1436af7` by @dependabot in model-checking#3166 * Do not assume that ZST-typed symbols refer to unique objects by @tautschnig in model-checking#3134 * Fix copyright check for `expected` tests by @adpaco-aws in model-checking#3170 * Remove kani::Arbitrary from the modifies contract instrumentation by @feliperodri in model-checking#3169 * Automatic cargo update to 2024-05-06 by @github-actions in model-checking#3172 * Bump tests/perf/s2n-quic from `1436af7` to `6dd41e0` by @dependabot in model-checking#3174 * Avoid unnecessary uses of Location::none() by @tautschnig in model-checking#3173 **Full Changelog**: model-checking/kani@kani-0.50.0...kani-0.51.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: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Update Rust toolchain from nightly-2024-04-20 to nightly-2024-04-21 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@f9b1614 up to rust-lang/rust@dbce3b4. The log for this commit range is:
rust-lang/rust@dbce3b43b6 Auto merge of #122013 - Swatinem:unicode-gen-fastpath, r=scottmcm
rust-lang/rust@54692c3d0b Auto merge of #124202 - lnicola:sync-from-ra, r=lnicola
rust-lang/rust@b0a18daa75 Merge commit '55d9a533b309119c8acd13061581b43ae8840823' into sync-from-ra
rust-lang/rust@55d9a533b3 Auto merge of #17114 - lnicola:hir-expand-in-tree, r=Veykril
rust-lang/rust@4c94e69115 Add in-rust-tree feature to hir-expand
rust-lang/rust@8cf135e191 Auto merge of #121712 - mati865:provide-prebuilt-std-for-gnullvm, r=Mark-Simulacrum
rust-lang/rust@c3ceb00281 Auto merge of #124190 - RalfJung:pat-compare-with-fast-path, r=Nadrieril
rust-lang/rust@584f183dc0 Auto merge of #124194 - matthiaskrgr:rollup-40s0c4q, r=matthiaskrgr
rust-lang/rust@f58ef084c9 Rollup merge of #124137 - tgross35:testsuite-multi-rev-regex, r=jieyouxu
rust-lang/rust@ff9a0b19ff Rollup merge of #124104 - compiler-errors:parent-generic-use, r=oli-obk
rust-lang/rust@efb264fa78 Rollup merge of #123409 - ZhuUx:master, r=oli-obk
rust-lang/rust@a61b14d15e Auto merge of #124156 - DianQK:disable-match_branches, r=RalfJung
rust-lang/rust@488598c183 Add a lower bound check to
unicode-table-generatoroutputrust-lang/rust@f1bff1f323 Auto merge of #124176 - matthiaskrgr:tests_are_the_best, r=jieyouxu
rust-lang/rust@727fe81fd6 PatRangeBoundary::compare_with: als add a fast-path for signed integers
rust-lang/rust@9c7b1f4848 Auto merge of #124114 - scottmcm:better-checked, r=workingjubilee
rust-lang/rust@c8d19a92aa Auto merge of #124177 - weihanglo:update-cargo, r=weihanglo
rust-lang/rust@db701c2aad Auto merge of #124166 - oli-obk:define_opaque_types11, r=compiler-errors
rust-lang/rust@b52be28fda Disable SimplifyToExp in MatchBranchSimplification
rust-lang/rust@b015f61488 add more known-crashes tests
rust-lang/rust@e0586a6e1a add test for #83993
rust-lang/rust@db881f67f3 Update cargo
rust-lang/rust@c83d8cf584 Auto merge of #17110 - Veykril:cargo-script-mvp, r=Veykril
rust-lang/rust@282488c808 Match hyphen in multi-revision comment matchers
rust-lang/rust@8621e79fa7 Auto merge of #17104 - hamirmahal:fix/usage-of-deprecated-version-of-node-in-metrics-yml, r=lnicola
rust-lang/rust@3d6bd24dcb fix: usage of
deprecatedversion ofNode.jsrust-lang/rust@5daf58ffc1 Fix capturing duplicated lifetimes via parent
rust-lang/rust@402dc38d99 coverage. Add basic tests for MC/DC
rust-lang/rust@439dbfa1ec coverage. Lowering MC/DC statements to llvm-ir
rust-lang/rust@0ce7179e6b Correctly populate detached files roots
rust-lang/rust@46f05543a2 Patch cargo script root files back to manifest
rust-lang/rust@0b24599cf9 Re-implement dependecny tracking for cargo script
rust-lang/rust@2f828073aa Add minimal support for cargo scripts
rust-lang/rust@dadece067e Let inherent associated types constrain opaque types during projection
rust-lang/rust@50bdeaad07 Auto merge of #17108 - Veykril:rustc-ws-hacks, r=Veykril
rust-lang/rust@05428c5640 Auto merge of #17024 - roife:fix-issue-16980, r=Veykril
rust-lang/rust@3e232bb78a fix: replace unescape fn with the one in ra-ap-rustc_lexer
rust-lang/rust@cdb8c3a327 Fix tests being non-deterministic
rust-lang/rust@77ce295006 Auto merge of #17094 - Lindronics:convert-from-to-tryfrom, r=Veykril
rust-lang/rust@cf6b6cb2b4 coverage. Generate Mappings of decisions and conditions for MC/DC
rust-lang/rust@0485a85ee2 Set debug_assertions and miri cfgs as config defaults, allowing them to be overwritten
rust-lang/rust@8989dcffd6 Support cfg overrides in all workspace kind
rust-lang/rust@ee10f9f5cd Cleanup cfg and env handling in project-model
rust-lang/rust@1aba0002df Add convert From to TryFrom assist
rust-lang/rust@eea61bd4d1 Auto merge of #16726 - Veykril:rustc-ws-hacks, r=Veykril
rust-lang/rust@2e54c0af40 Remove rustc core test cfg hacks
rust-lang/rust@9b4fb7ce91 Auto merge of #17105 - kpreid:nocapture, r=Veykril
rust-lang/rust@a543516ea4 fix: handle escaped chars in doc comments
rust-lang/rust@68f86381ee coverage. Add coverage-options=mcdc as gate for MC/DC instrument
rust-lang/rust@db292bd89e Make test harness arguments configurable and not
--nocapture.rust-lang/rust@986d9f104b Make
checkedops emit unchecked LLVM operations where feasiblerust-lang/rust@af1fd88c4d Auto merge of #16257 - lnicola:rustc-check-cfg, r=Veykril
rust-lang/rust@08c706f2f8 Auto merge of #16057 - Veykril:macro-arm, r=Veykril
rust-lang/rust@4135696ea7 Cleanup
rust-lang/rust@6bfdd38c69 Render matched macro arm on hover of macro calls
rust-lang/rust@68b1a2861f Auto merge of #17095 - Veykril:contributing.md, r=Veykril
rust-lang/rust@d12bad650b Add CONTRIBUTING.md
rust-lang/rust@062e1b9b81 Auto merge of #17093 - Wilfred:vfs_ignore_symlink_cycles, r=Veykril
rust-lang/rust@bd133eecda fix: VFS should not walk circular symlinks
rust-lang/rust@46702ffc1a Auto merge of #17087 - davidbarsky:david/fix-some-tracing-spans, r=Veykril
rust-lang/rust@b256807c3e Auto merge of #17092 - Veykril:per-queries, r=Veykril
rust-lang/rust@011c2127c8 Update
per_query_memory_usagequery listingrust-lang/rust@5ba37f3f8e chore: fix a few spans without
.entered()rust-lang/rust@91b8441b3a Auto merge of #17055 - wyatt-herkamp:fix_panic_at_unused_variable, r=Veykril
rust-lang/rust@0eb7b6c7b5 Don't show unused_variables fixes if the name comes from a macro definition
rust-lang/rust@d07f0240fd Auto merge of #17083 - matklad:matklad/test-search, r=lnicola
rust-lang/rust@f852a6fc7d ide: add a new test
rust-lang/rust@9bd8eee21e ide: improve ReferenceCategoryType
rust-lang/rust@1179c3ee83 Auto merge of #16639 - alibektas:13529/config_restruct, r=Veykril
rust-lang/rust@e64610dbbe Auto merge of #17037 - davidsemakula:token-set-collisions, r=Veykril
rust-lang/rust@dcbb27aab6 Auto merge of #17081 - davidbarsky:david/revert-17073, r=Veykril
rust-lang/rust@ab8c112573 Revert "Auto merge of #17073 - roife:better-inline-preview, r=Veykril"
rust-lang/rust@90cfa8035f Auto merge of #17078 - Veykril:diags-perf, r=Veykril
rust-lang/rust@531a270d91 Generally optimize diagnostics performance
rust-lang/rust@701068daf2 Verify we are not in a macro attempt 2
rust-lang/rust@94e38261b3 Optimize exhaustiveness checking perf a bit
rust-lang/rust@b223860c0e Auto merge of #17074 - Veykril:hl, r=Veykril
rust-lang/rust@597c293a69 Adjust package.json semantic highlighting items
rust-lang/rust@6b98e55dbb Add Static and Const highlighting token types
rust-lang/rust@0faa2940c7 Use the text range for the name. Not the entire syntax in Unused Variable Diagnostic.
rust-lang/rust@af728741de Auto merge of #17073 - roife:better-inline-preview, r=Veykril
rust-lang/rust@69fe457cb5 internal: simplify
TokenSetimplementationrust-lang/rust@8db1c64268 tests: fix tests for postfix
rust-lang/rust@76a8a976f3 fix: better inline preview for postfix completion
rust-lang/rust@c0371309b4 Auto merge of #17072 - Veykril:hir-ty-display, r=Veykril
rust-lang/rust@91659da5a6 internal: Use
hir_fmt_argseverywhere inhir_ty::displayrust-lang/rust@2e7059ca58 Auto merge of #16877 - Veykril:stackoverflow, r=Veykril
rust-lang/rust@1915980031 fix: Fix
impl Trait<Self>causing stackoverflowsrust-lang/rust@40bb8f3272 Auto merge of #16813 - wyatt-herkamp:to-from-cfg_attr-assist, r=Veykril
rust-lang/rust@60d3a7320e Differentiate between full configs and toml only config groupings
rust-lang/rust@67d8d2d4a0 Make ConfigData Ser and TOML De
rust-lang/rust@8e459125df internal: add auto-import assist tests for raw identifiers
rust-lang/rust@e326b634d1 internal: add reserved keywords
rust-lang/rust@89779ca55e internal: improve
TokenSetimplementationrust-lang/rust@2cbc2841d8 Auto merge of #17070 - Veykril:simplify, r=Veykril
rust-lang/rust@a37c7208b0 internal: Remove unnecessay
GlobalState::send_hint_refresh_queryfieldrust-lang/rust@d80df712e7 Auto merge of #17069 - lnicola:fix-skip-array-dispatch, r=lnicola
rust-lang/rust@f5e4eb2ef9 Fix rustc_skip_array_during_method_dispatch edition check
rust-lang/rust@cd4c0dac81 Provide prebuilt std for gnullvm targets
rust-lang/rust@5dbe3fe75c Auto merge of #17065 - Veykril:edition-parse-mac, r=Veykril
rust-lang/rust@a483d3bc37 internal: Thread edition through to parsing/tt-to-syntax-tree routines for macros
rust-lang/rust@74cef6d79b Auto merge of #16450 - Urhengulas:edition-aware-parser, r=Veykril
rust-lang/rust@83370fe5d7 Use Edition::CURRENT
rust-lang/rust@9c75e9fa7d Deduplicate Edition enum
rust-lang/rust@e7852803c5 Mark edition field as unused
rust-lang/rust@2cf5d8811a Raise edition one more level
rust-lang/rust@454e481422 Add edition to all
parsefunctions of the parser craterust-lang/rust@392538c830 Add edition to parser struct
rust-lang/rust@f3c7bd0c90 Auto merge of #17064 - Veykril:inlay-hints-fix, r=Veykril
rust-lang/rust@189aba7943 minor: Carry inlay hint resolve hash as a string
rust-lang/rust@7dad0a231e Auto merge of #17063 - Veykril:inlay-hints-fix, r=Veykril
rust-lang/rust@2c5c12acfe fix: Fix inlay hint resolution being broken
rust-lang/rust@beb205f347 Auto merge of #17062 - Veykril:disable-unlinked-file-popup, r=Veykril
rust-lang/rust@ff9ebc747d Temporarily disable unlinked file popup
rust-lang/rust@773b4a5ac7 Auto merge of #17019 - Wilfred:source_root_prefixes, r=Veykril
rust-lang/rust@9b1946250f Auto merge of #17054 - roife:fix-issue-17036, r=Veykril
rust-lang/rust@e1d7ce71ae Auto merge of #17051 - roife:auto-closing-for-triple-backticks, r=Veykril
rust-lang/rust@85542e0de3 Auto merge of #17035 - Wilfred:windows_ci_on_prs, r=Veykril
rust-lang/rust@a1884b0958 Auto merge of #17030 - Veykril:bump-chalk, r=Veykril
rust-lang/rust@0636e7c436 Auto merge of #17059 - Kohei316:refactor-generate-function, r=Veykril
rust-lang/rust@145078e09f make function builder create ast directly
rust-lang/rust@07ae540f4e Auto merge of #17056 - HKalbasi:test-explorer, r=HKalbasi
rust-lang/rust@964afc92c1 Run cargo test per workspace in the test explorer
rust-lang/rust@7528460151 Revert "fix: set the right postfix snippets competion source range"
rust-lang/rust@4346bbcd92 fix: support auto-closing for triple backticks
rust-lang/rust@657b33b0cb Auto merge of #17033 - ShoyuVanilla:flyck-log, r=Veykril
rust-lang/rust@a5feb4f05f Auto merge of #17034 - ColinKinloch:flatpak_sdk_rust_enable, r=lnicola
rust-lang/rust@b03844d786 [vfs] Don't confuse paths with source roots that have the same prefix
rust-lang/rust@6df559f706 Run Windows tests on PRs too
rust-lang/rust@81ef59f6ff Document enabling the flatpak rust SDK extension
rust-lang/rust@f7a66fd94c Log flycheck errors
rust-lang/rust@8078c3d9e8 Bump chalk
rust-lang/rust@7a8374c162 Auto merge of #17029 - lnicola:revert-jemalloc, r=lnicola
rust-lang/rust@14252e16df Revert "Use jemalloc for releases"
rust-lang/rust@d9c29afaee Auto merge of #17023 - Veykril:cleanup, r=Veykril
rust-lang/rust@a82e028e30 Cleanup util::Generics method names
rust-lang/rust@f3567bb604 Arc CrateData::cfg_options
rust-lang/rust@336dee3415 Remove some allocs
rust-lang/rust@13890697eb Simplify
rust-lang/rust@9cced6da93 Auto merge of #17016 - HKalbasi:test-explorer, r=HKalbasi
rust-lang/rust@eab385e1f6 Apply cargo flags in test explorer
rust-lang/rust@6a852d7627 Auto merge of #17007 - lnicola:jemalloc, r=lnicola
rust-lang/rust@f8a4553d02 Auto merge of #17014 - Veykril:runnables-exported-main-test, r=Veykril
rust-lang/rust@5957835cdf Consider
exported_name="main"functions in test modules as testsrust-lang/rust@692c41e593 Use jemalloc for releases
rust-lang/rust@8e581ac348 Auto merge of #17003 - krobelus:utf8-positions-multibyte, r=Veykril
rust-lang/rust@c0eb78e839 Auto merge of #17006 - Veykril:cfg-censor-fixes, r=Veykril
rust-lang/rust@2b62d4b2ba Fix some cfg censoring bugs
rust-lang/rust@d24b0ba330 Fix off-by-one error converting to LSP UTF8 offsets with multi-byte char
rust-lang/rust@5b08b1776c Auto merge of #17000 - mrnossiom:master, r=Veykril
rust-lang/rust@0140272daa Auto merge of #17002 - Veykril:layout-defaults, r=Veykril
rust-lang/rust@86967032f7 Consider ADT generic parameter defaults for unsubstituted layout calculations
rust-lang/rust@c5686c8941 fix: set the right postfix snippets competion source range
rust-lang/rust@c3b8c2a254 Auto merge of #16996 - Veykril:lt-err, r=Veykril
rust-lang/rust@54faa03121 Auto merge of #16997 - Veykril:cfg-if-patch, r=Veykril
rust-lang/rust@600747a1b4 Fix
patch_cfg_ifnot applying with stitched sysrootrust-lang/rust@707be6b99c Adjust display impls to respect lifetime bounds
rust-lang/rust@0927f86247 Replace static_lifetime usages with error_lifetime, lower outlives goals
rust-lang/rust@23dd54b010 Auto merge of #16968 - roife:fix-issue-16801, r=Veykril
rust-lang/rust@2636e44378 fix: simplify the usage of UnknownMismatch
rust-lang/rust@3d373fec8c tests: add tests for mismatches with unresolved projections
rust-lang/rust@8d6b65c544 fix: silence mismatches involving unresolved projections
rust-lang/rust@3691380c35 Auto merge of #16920 - Veykril:clippy-lints, r=Veykril
rust-lang/rust@2ae3e57c26 Fix new clippy lints
rust-lang/rust@ff8a24a740 Auto merge of #16988 - Veykril:config-docs, r=Veykril
rust-lang/rust@ff279f1e91 Fix allFeatures config docs
rust-lang/rust@c82d168b79 Auto merge of #16979 - Nadrieril:contiguous-enum-id, r=Veykril
rust-lang/rust@a6ddf5fb80 Auto merge of #16961 - Wilfred:fix_crate_ids, r=Veykril
rust-lang/rust@2678660880 Auto merge of #16924 - poliorcetics:ab/push-kxwqvtypvlsq, r=Veykril
rust-lang/rust@7e8f2d8fd3 Use contiguous indices for enum variants
rust-lang/rust@f3f14d4552 Auto merge of #16970 - Wilfred:fix_tasks, r=Veykril
rust-lang/rust@9774b114c6 Auto merge of #16986 - roife:update-issue-template, r=Veykril
rust-lang/rust@d0d23a250d update: add editor/extension information to bug report template
rust-lang/rust@e4a405f877 Auto merge of #16983 - lnicola:sync-from-rust, r=lnicola
rust-lang/rust@424054a8aa Merge branch 'master' into sync-from-rust
rust-lang/rust@d3fb9f798a Merge commit 'f5a9250147f6569d8d89334dc9cca79c0322729f' into sync-from-ra
rust-lang/rust@a758e349bc Document CargoTaskDefinition and factor out converting TaskDefinition to Execution
rust-lang/rust@e8d6a5ec0b Rename RustTargetDefinition to CargoTaskDefinition
rust-lang/rust@0f72ab1dd3 Define a separate type for crate indexes in a rust-project.json
rust-lang/rust@5e370b1cb8 Use crate root to choose relevant workspace for flycheck
rust-lang/rust@174af88e76 feat: Add
rust-analyzer.cargo.allTargetsto configure passing--all-targetsto cargo invocationsrust-lang/rust@e3f9a0afe1 Fixed cursor being at end
rust-lang/rust@ecac8e3514 Format and codegen for attr
rust-lang/rust@1141259a23 Init Wrap/Unwrap cfg_attr
rust-lang/rust@3a2ae6410d Teach cargo about cfg(rust_analyzer)