Merge pull request #79 from dtolnay/miritypecheck

Fully re-enable type checking under Miri
dtolnay · Aug 26, 2023 · 290ef44 · 290ef44
2 parents a1b66a1 + e0c5488
commit 290ef44
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/any.rs b/src/any.rs
@@ -71,7 +71,7 @@ impl Any {
 
     // This is unsafe -- caller is responsible that T is the correct type.
     pub(crate) unsafe fn view<T>(&mut self) -> &mut T {
-        if cfg!(not(miri)) && self.type_id != non_static_type_id::<T>() {
+        if self.type_id != non_static_type_id::<T>() {
             self.invalid_cast_to::<T>();
         }
 
@@ -86,7 +86,7 @@ impl Any {
 
     // This is unsafe -- caller is responsible that T is the correct type.
     pub(crate) unsafe fn take<T>(mut self) -> T {
-        if cfg!(not(miri)) && self.type_id != non_static_type_id::<T>() {
+        if self.type_id != non_static_type_id::<T>() {
             self.invalid_cast_to::<T>();
         }