diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 9b3115b..5a147c4 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -135,7 +135,7 @@ jobs: name: "Miri tests" runs-on: ubuntu-latest env: - MIRIFLAGS: "-Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-tag-raw-pointers" + MIRIFLAGS: "-Zmiri-disable-isolation -Zmiri-strict-provenance" steps: - uses: actions/checkout@v1 - run: rustup toolchain install nightly --profile minimal --component rust-src miri diff --git a/src/lib.rs b/src/lib.rs index 9e85882..b76e7d1 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,7 +1,4 @@ -#![cfg_attr( - feature = "alloc_ref", - feature(allocator_api, alloc_layout_extra, nonnull_slice_from_raw_parts) -)] +#![cfg_attr(feature = "alloc_ref", feature(allocator_api, alloc_layout_extra))] #![no_std] #[cfg(any(test, fuzzing))]