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

Roll pinned nightly and stable toolchains #1613

Open
wants to merge 1 commit into
base: v0.7.x
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 10 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -276,6 +276,15 @@ jobs:
name: 'Run tests under Kani'
steps:
- uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b # v4.1.4
- run: |
# If Kani transitively depends on zerocopy, then we'll have zerocopy
# instances in our build graph - the one from crates.io, and the local
# one. This ensures that we always resolve unambiguously to the local
# one.
cargo generate-lockfile
ZC_ZEROCOPY_PKGID="$(cargo pkgid -p path+file:///home/runner/work/zerocopy/zerocopy)"
echo "Found that zerocopy's pkgid is $ZC_ZEROCOPY_PKGID" | tee -a $GITHUB_STEP_SUMMARY
echo "ZC_ZEROCOPY_PKGID=$ZC_ZEROCOPY_PKGID" >> $GITHUB_ENV
- uses: model-checking/kani-github-action@f838096619a707b0f6b2118cf435eaccfa33e51f # v1.1
with:
# Use `--features __internal_use_only_features_that_work_on_stable`
Expand All @@ -288,7 +297,7 @@ jobs:
# TODO(https://github.com/model-checking/kani-github-action/issues/56):
# Go back to testing all features once the Kani GitHub Action supports
# specifying a particular toolchain.
args: "--package zerocopy --features __internal_use_only_features_that_work_on_stable --output-format=terse --randomize-layout --memory-safety-checks --overflow-checks --undefined-function-checks --unwinding-checks"
args: "--features __internal_use_only_features_that_work_on_stable --output-format=terse --randomize-layout --memory-safety-checks --overflow-checks --undefined-function-checks --unwinding-checks"
# This version is automatically rolled by
# `roll-pinned-toolchain-versions.yml`.
kani-version: 0.53.0
Expand Down
4 changes: 2 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -32,8 +32,8 @@ rustdoc-args = ["--cfg", "doc_cfg", "--generate-link-to-definition"]

[package.metadata.ci]
# The versions of the stable and nightly compiler toolchains to use in CI.
pinned-stable = "1.80.0"
pinned-nightly = "nightly-2024-07-28"
pinned-stable = "1.81.0"
pinned-nightly = "nightly-2024-09-06"

[package.metadata.playground]
features = ["__internal_use_only_features_that_work_on_stable"]
Expand Down
2 changes: 1 addition & 1 deletion tests/ui-nightly/transmute-mut-const.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ error[E0658]: mutable references are not allowed in constants
|
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
= note: this compiler was built on 2024-07-27; consider upgrading it if it is out of date
= note: this compiler was built on 2024-09-05; consider upgrading it if it is out of date

error[E0015]: cannot call non-const fn `transmute_mut::<'_, '_, [u8; 2], [u8; 2]>` in constants
--> tests/ui-nightly/transmute-mut-const.rs:20:37
Expand Down
2 changes: 1 addition & 1 deletion tests/ui-nightly/transmute-mut-dst-unsized.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,7 @@ error[E0277]: the size for values of type `[u8]` cannot be known at compilation
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
= help: the trait `Sized` is not implemented for `[u8]`
note: required by an implicit `Sized` bound in `transmute`
note: required by an implicit `Sized` bound in `std::intrinsics::transmute`
--> $RUST/core/src/intrinsics.rs
|
| pub fn transmute<Src, Dst>(src: Src) -> Dst;
Expand Down
2 changes: 1 addition & 1 deletion tests/ui-nightly/transmute-mut-src-dst-unsized.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -192,7 +192,7 @@ error[E0277]: the size for values of type `[u8]` cannot be known at compilation
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
= help: the trait `Sized` is not implemented for `[u8]`
note: required by an implicit `Sized` bound in `transmute`
note: required by an implicit `Sized` bound in `std::intrinsics::transmute`
--> $RUST/core/src/intrinsics.rs
|
| pub fn transmute<Src, Dst>(src: Src) -> Dst;
Expand Down
2 changes: 1 addition & 1 deletion tests/ui-nightly/transmute-ref-dst-unsized.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ error[E0277]: the size for values of type `[u8]` cannot be known at compilation
| ^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
= help: the trait `Sized` is not implemented for `[u8]`
note: required by an implicit `Sized` bound in `transmute`
note: required by an implicit `Sized` bound in `std::intrinsics::transmute`
--> $RUST/core/src/intrinsics.rs
|
| pub fn transmute<Src, Dst>(src: Src) -> Dst;
Expand Down
2 changes: 1 addition & 1 deletion tests/ui-nightly/transmute-ref-src-dst-unsized.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -144,7 +144,7 @@ error[E0277]: the size for values of type `[u8]` cannot be known at compilation
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
= help: the trait `Sized` is not implemented for `[u8]`
note: required by an implicit `Sized` bound in `transmute`
note: required by an implicit `Sized` bound in `std::intrinsics::transmute`
--> $RUST/core/src/intrinsics.rs
|
| pub fn transmute<Src, Dst>(src: Src) -> Dst;
Expand Down
17 changes: 17 additions & 0 deletions tests/ui-stable/transmute-mut-src-dst-not-references.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,23 @@ help: consider mutably borrowing here
17 | const SRC_DST_NOT_REFERENCES: &mut usize = transmute_mut!(&mut 0usize);
| ++++

warning: this function depends on never type fallback being `()`
--> tests/ui-stable/transmute-mut-src-dst-not-references.rs:17:1
|
17 | const SRC_DST_NOT_REFERENCES: &mut usize = transmute_mut!(0usize);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
= note: for more information, see issue #123748 <https://github.com/rust-lang/rust/issues/123748>
= help: specify the types explicitly
note: in edition 2024, the requirement `!: FromBytes` will fail
--> tests/ui-stable/transmute-mut-src-dst-not-references.rs:17:44
|
17 | const SRC_DST_NOT_REFERENCES: &mut usize = transmute_mut!(0usize);
| ^^^^^^^^^^^^^^^^^^^^^^
= note: `#[warn(dependency_on_unit_never_type_fallback)]` on by default
= note: this warning originates in the macro `transmute_mut` (in Nightly builds, run with -Z macro-backtrace for more info)

warning: never type fallback affects this call to an `unsafe` function
--> tests/ui-stable/transmute-mut-src-dst-not-references.rs:17:44
|
Expand Down
17 changes: 17 additions & 0 deletions tests/ui-stable/transmute-mut-src-immutable.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,23 @@ error[E0308]: mismatched types
= note: expected mutable reference `&mut _`
found reference `&u8`

warning: this function depends on never type fallback being `()`
--> tests/ui-stable/transmute-mut-src-immutable.rs:15:1
|
15 | fn ref_src_immutable() {
| ^^^^^^^^^^^^^^^^^^^^^^
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
= note: for more information, see issue #123748 <https://github.com/rust-lang/rust/issues/123748>
= help: specify the types explicitly
note: in edition 2024, the requirement `!: FromBytes` will fail
--> tests/ui-stable/transmute-mut-src-immutable.rs:17:22
|
17 | let _: &mut u8 = transmute_mut!(&0u8);
| ^^^^^^^^^^^^^^^^^^^^
= note: `#[warn(dependency_on_unit_never_type_fallback)]` on by default
= note: this warning originates in the macro `transmute_mut` (in Nightly builds, run with -Z macro-backtrace for more info)

warning: never type fallback affects this call to an `unsafe` function
--> tests/ui-stable/transmute-mut-src-immutable.rs:17:22
|
Expand Down
17 changes: 17 additions & 0 deletions tests/ui-stable/transmute-mut-src-not-a-reference.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,23 @@ help: consider mutably borrowing here
17 | const SRC_NOT_A_REFERENCE: &mut u8 = transmute_mut!(&mut 0usize);
| ++++

warning: this function depends on never type fallback being `()`
--> tests/ui-stable/transmute-mut-src-not-a-reference.rs:17:1
|
17 | const SRC_NOT_A_REFERENCE: &mut u8 = transmute_mut!(0usize);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
= note: for more information, see issue #123748 <https://github.com/rust-lang/rust/issues/123748>
= help: specify the types explicitly
note: in edition 2024, the requirement `!: FromBytes` will fail
--> tests/ui-stable/transmute-mut-src-not-a-reference.rs:17:38
|
17 | const SRC_NOT_A_REFERENCE: &mut u8 = transmute_mut!(0usize);
| ^^^^^^^^^^^^^^^^^^^^^^
= note: `#[warn(dependency_on_unit_never_type_fallback)]` on by default
= note: this warning originates in the macro `transmute_mut` (in Nightly builds, run with -Z macro-backtrace for more info)

warning: never type fallback affects this call to an `unsafe` function
--> tests/ui-stable/transmute-mut-src-not-a-reference.rs:17:38
|
Expand Down
17 changes: 17 additions & 0 deletions tests/ui-stable/transmute-ref-src-dst-not-references.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,23 @@ error[E0308]: mismatched types
found reference `&_`
= note: this error originates in the macro `transmute_ref` (in Nightly builds, run with -Z macro-backtrace for more info)

warning: this function depends on never type fallback being `()`
--> tests/ui-stable/transmute-ref-src-dst-not-references.rs:17:1
|
17 | const SRC_DST_NOT_REFERENCES: usize = transmute_ref!(0usize);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
= note: for more information, see issue #123748 <https://github.com/rust-lang/rust/issues/123748>
= help: specify the types explicitly
note: in edition 2024, the requirement `!: AsBytes` will fail
--> tests/ui-stable/transmute-ref-src-dst-not-references.rs:17:39
|
17 | const SRC_DST_NOT_REFERENCES: usize = transmute_ref!(0usize);
| ^^^^^^^^^^^^^^^^^^^^^^
= note: `#[warn(dependency_on_unit_never_type_fallback)]` on by default
= note: this warning originates in the macro `transmute_ref` (in Nightly builds, run with -Z macro-backtrace for more info)

warning: never type fallback affects this call to an `unsafe` function
--> tests/ui-stable/transmute-ref-src-dst-not-references.rs:17:39
|
Expand Down
17 changes: 17 additions & 0 deletions tests/ui-stable/transmute-ref-src-not-a-reference.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,23 @@ help: consider borrowing here
17 | const SRC_NOT_A_REFERENCE: &u8 = transmute_ref!(&0usize);
| +

warning: this function depends on never type fallback being `()`
--> tests/ui-stable/transmute-ref-src-not-a-reference.rs:17:1
|
17 | const SRC_NOT_A_REFERENCE: &u8 = transmute_ref!(0usize);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
= note: for more information, see issue #123748 <https://github.com/rust-lang/rust/issues/123748>
= help: specify the types explicitly
note: in edition 2024, the requirement `!: AsBytes` will fail
--> tests/ui-stable/transmute-ref-src-not-a-reference.rs:17:34
|
17 | const SRC_NOT_A_REFERENCE: &u8 = transmute_ref!(0usize);
| ^^^^^^^^^^^^^^^^^^^^^^
= note: `#[warn(dependency_on_unit_never_type_fallback)]` on by default
= note: this warning originates in the macro `transmute_ref` (in Nightly builds, run with -Z macro-backtrace for more info)

warning: never type fallback affects this call to an `unsafe` function
--> tests/ui-stable/transmute-ref-src-not-a-reference.rs:17:34
|
Expand Down
Loading