From 56c3a26123cc97addb5ba9995e297d1178a1683d Mon Sep 17 00:00:00 2001 From: Amos Wenger Date: Sun, 20 Oct 2024 18:10:18 +0200 Subject: [PATCH] We did ask miri --- merde_core/src/deserialize.rs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/merde_core/src/deserialize.rs b/merde_core/src/deserialize.rs index 744323e..87857fb 100644 --- a/merde_core/src/deserialize.rs +++ b/merde_core/src/deserialize.rs @@ -342,11 +342,6 @@ mod mini_typeid { } /// Allows filling in a field of a struct while deserializing. -/// -/// Enforces some type safety at runtime, by carrying lifetimes -/// around and making sure that at least the type_name matches. -/// There's a non-zero chance I messed something up and this is -/// actually badly UB though. I should ask miri. pub struct FieldSlot<'s, 'borrow> { option: *mut Option<()>, type_id_of_field: TypeId,