Merge pull request #44 from dtolnay/miri

Add a miri test job in CI
dtolnay · May 24, 2021 · edc57bb · edc57bb
2 parents 1742a76 + 3c917d5
commit edc57bb
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -39,3 +39,13 @@ jobs:
       - uses: actions/checkout@v2
       - uses: dtolnay/rust-toolchain@clippy
       - run: cargo clippy -- -Dclippy::all -Dclippy::pedantic
+
+  miri:
+    name: Miri
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: dtolnay/rust-toolchain@nightly
+        with:
+          components: miri
+      - run: cargo miri test
diff --git a/src/any.rs b/src/any.rs
@@ -85,7 +85,7 @@ impl Any {
 
     // This is unsafe -- caller is responsible that T is the correct type.
     pub(crate) fn view<T>(&mut self) -> &mut T {
-        if self.fingerprint != Fingerprint::of::<T>() {
+        if cfg!(not(miri)) && self.fingerprint != Fingerprint::of::<T>() {
             self.invalid_cast_to::<T>();
         }
 
@@ -100,7 +100,7 @@ impl Any {
 
     // This is unsafe -- caller is responsible that T is the correct type.
     pub(crate) fn take<T>(mut self) -> T {
-        if self.fingerprint != Fingerprint::of::<T>() {
+        if cfg!(not(miri)) && self.fingerprint != Fingerprint::of::<T>() {
             self.invalid_cast_to::<T>();
         }
 
@@ -168,6 +168,7 @@ impl Fingerprint {
     }
 }
 
+#[cfg(not(miri))]
 #[test]
 fn test_fingerprint() {
     assert_eq!(Fingerprint::of::<usize>(), Fingerprint::of::<usize>());