Skip to content

Commit

Permalink
Roll pinned nightly and stable toolchains
Browse files Browse the repository at this point in the history
  • Loading branch information
joshlf committed Sep 7, 2024
1 parent 7c8358e commit 15ebeab
Show file tree
Hide file tree
Showing 12 changed files with 102 additions and 8 deletions.
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: "--package path+file:///home/runner/work/zerocopy/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"
# 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

0 comments on commit 15ebeab

Please sign in to comment.