Fix undefined behaviour by removing MayebUninit usage

.github/workflows/ci.yml

@@ -30,21 +30,16 @@ jobs:
         uses: actions-rs/toolchain@v1
         with:
           toolchain: ${{ matrix.rust }}
+          profile: minimal
           override: true
 
-      - name: Check without default features
-        run: |
-          cargo check --all \
-            --no-default-features
-
-      - name: Check with the default features
-        run: |
-          cargo check --all
+      - name: Install power tools
+        uses: taiki-e/install-action@cargo-hack
 
-      - name: Check with all features
+      - name: Check the powerset
         run: |
-          cargo check --all \
-            --all-features
+          cargo hack check --all \
+            --feature-powerset --keep-going
 
   test:
     name: Test Suite
@@ -62,11 +57,16 @@ jobs:
         uses: actions-rs/toolchain@v1
         with:
           toolchain: ${{ matrix.rust }}
+          profile: minimal
           override: true
+
+      - name: Install power tools
+        uses: taiki-e/install-action@cargo-hack
 
-      - name: Run the test-suite
+      - name: Run the test-suite powerset
         run: |
-          cargo test --workspace --no-fail-fast
+          cargo hack test --workspace \
+            --no-fail-fast --feature-powerset --keep-going
 
   fmt:
     name: Rustfmt
@@ -80,6 +80,7 @@ jobs:
         uses: actions-rs/toolchain@v1
         with:
           toolchain: nightly
+          profile: minimal
           components: rustfmt
           override: true
 
@@ -102,22 +103,49 @@ jobs:
         uses: actions-rs/toolchain@v1
         with:
           toolchain: ${{ matrix.rust }}
+          profile: minimal
           components: clippy
           override: true
 
-      - name: Check the code style without default features
+      - name: Install power tools
+        uses: taiki-e/install-action@cargo-hack
+
+      - name: Check the code style powerset
         run: |
-          cargo clippy --all \
-            --no-default-features \
+          cargo hack clippy --all \
+            --feature-powerset --keep-going \
             -- -D warnings
 
-      - name: Check the code style with the default features
+  miri:
+    name: Miri
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest]
+        rust: [nightly]
+
+    steps:
+      - name: Checkout the Repository
+        uses: actions/checkout@v2
+
+      - name: Install the Rust toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: ${{ matrix.rust }}
+          profile: minimal
+          components: miri, rust-src
+          override: true
+
+      - name: Install power tools
+        uses: taiki-e/install-action@cargo-hack
+
+      - name: Run the miri powerset tests
         run: |
-          cargo clippy --all \
-            -- -D warnings
+          cargo hack miri test --workspace \
+            --no-fail-fast --feature-powerset --keep-going
 
-      - name: Check the code style with all features
+      - name: Run the miri trycrate powerset
         run: |
-          cargo clippy --all \
-            --all-features \
-            -- -D warnings
+          cd try-crate
+          cargo hack miri run \
+            --feature-powerset --keep-going

README.md

@@ -1,8 +1,11 @@
-# const-type-layout   [![CI Status]][workflow] [![Rust Doc]][docs] [![License Status]][fossa] [![Code Coverage]][codecov] [![Gitpod Ready-to-Code]][gitpod]
+# const-type-layout   [![CI Status]][workflow] [![MSRV]][repo] [![Rust Doc]][docs] [![License Status]][fossa] [![Code Coverage]][codecov] [![Gitpod Ready-to-Code]][gitpod]
 
 [CI Status]: https://img.shields.io/github/workflow/status/MomoLangenstein/const-type-layout/CI/main?label=CI
 [workflow]: https://github.com/MomoLangenstein/const-type-layout/actions/workflows/ci.yml?query=branch%3Amain
 
+[MSRV]: https://img.shields.io/badge/MSRV-1.60.0-orange
+[repo]: https://github.com/ron-rs/ron
+
 [Rust Doc]: https://img.shields.io/badge/docs-main-blue
 [docs]: https://momolangenstein.github.io/const-type-layout/const_type_layout
 
@@ -32,7 +35,7 @@ The layout of types is only defined if they're `#[repr(C)]`. This crate works on
 non-`#[repr(C)]` types, but their layout is unpredictable.
 
 ```rust
-use type_layout::TypeLayout;
+use const_type_layout::TypeLayout;
 
 #[derive(TypeLayout)]
 #[repr(C)]
@@ -70,7 +73,7 @@ Over-aligned types have trailing padding, which can be a source of bugs in some
 FFI scenarios:
 
 ```rust
-use type_layout::TypeLayout;
+use const_type_layout::TypeLayout;
 
 #[derive(TypeLayout)]
 #[repr(C, align(128))]