move invariants to world_mut

Author: BoxyUwU

crates/bevy_ecs/src/world/entity_ref.rs

@@ -76,22 +76,14 @@ impl<'w> EntityRef<'w> {
 
     #[inline]
     pub fn contains_id(&self, component_id: ComponentId) -> bool {
-        // SAFETY:
-        // - `EntityRef` existing requires there not to be a `&mut World`
-        unsafe {
-            self.as_unsafe_world_cell_readonly()
-                .contains_id(component_id)
-        }
+        self.as_unsafe_world_cell_readonly()
+            .contains_id(component_id)
     }
 
     #[inline]
     pub fn contains_type_id(&self, type_id: TypeId) -> bool {
-        // SAFETY:
-        // - `EntityRef` existing requires there not to be a `&mut World`
-        unsafe {
-            self.as_unsafe_world_cell_readonly()
-                .contains_type_id(type_id)
-        }
+        self.as_unsafe_world_cell_readonly()
+            .contains_type_id(type_id)
     }
 
     #[inline]
@@ -216,22 +208,14 @@ impl<'w> EntityMut<'w> {
 
     #[inline]
     pub fn contains_id(&self, component_id: ComponentId) -> bool {
-        // SAFETY:
-        // - `EntityMut` has exclusive access on world so noone else can have a `&mut World`
-        unsafe {
-            self.as_unsafe_world_cell_readonly()
-                .contains_id(component_id)
-        }
+        self.as_unsafe_world_cell_readonly()
+            .contains_id(component_id)
     }
 
     #[inline]
     pub fn contains_type_id(&self, type_id: TypeId) -> bool {
-        // SAFETY:
-        // - `EntityMut` has exclusive access on world so noone else can have a `&mut World`
-        unsafe {
-            self.as_unsafe_world_cell_readonly()
-                .contains_type_id(type_id)
-        }
+        self.as_unsafe_world_cell_readonly()
+            .contains_type_id(type_id)
     }
 
     #[inline]