From 89c8d85de97414b129da568eba51e92f233c42d6 Mon Sep 17 00:00:00 2001 From: Baptiste de Montangon Date: Mon, 10 Jul 2023 01:31:40 +0200 Subject: [PATCH] allow Deserialize derive to handle generic unit structs --- serde_derive/src/de.rs | 21 +++++++++++++++++---- test_suite/tests/test_de.rs | 14 ++++++++++++++ 2 files changed, 31 insertions(+), 4 deletions(-) diff --git a/serde_derive/src/de.rs b/serde_derive/src/de.rs index 1e15dc3e3..67193b3e1 100644 --- a/serde_derive/src/de.rs +++ b/serde_derive/src/de.rs @@ -410,16 +410,29 @@ fn deserialize_unit_struct(params: &Parameters, cattrs: &attr::Container) -> Fra let this_type = ¶ms.this_type; let this_value = ¶ms.this_value; let type_name = cattrs.name().deserialize_name(); + let (de_impl_generics, de_ty_generics, ty_generics, where_clause) = + split_with_de_lifetime(params); + let delife = params.borrowed.de_lifetime(); let expecting = format!("unit struct {}", params.type_name()); let expecting = cattrs.expecting().unwrap_or(&expecting); + let visitor_expr = quote! { + __Visitor { + marker: _serde::__private::PhantomData::<#this_type #ty_generics>, + lifetime: _serde::__private::PhantomData, + } + }; + quote_block! { #[doc(hidden)] - struct __Visitor; + struct __Visitor #de_impl_generics #where_clause { + marker: _serde::__private::PhantomData<#this_type #ty_generics>, + lifetime: _serde::__private::PhantomData<&#delife ()>, + } - impl<'de> _serde::de::Visitor<'de> for __Visitor { - type Value = #this_type; + impl #de_impl_generics _serde::de::Visitor<#delife> for __Visitor #de_ty_generics #where_clause { + type Value = #this_type #ty_generics; fn expecting(&self, __formatter: &mut _serde::__private::Formatter) -> _serde::__private::fmt::Result { _serde::__private::Formatter::write_str(__formatter, #expecting) @@ -434,7 +447,7 @@ fn deserialize_unit_struct(params: &Parameters, cattrs: &attr::Container) -> Fra } } - _serde::Deserializer::deserialize_unit_struct(__deserializer, #type_name, __Visitor) + _serde::Deserializer::deserialize_unit_struct(__deserializer, #type_name, #visitor_expr) } } diff --git a/test_suite/tests/test_de.rs b/test_suite/tests/test_de.rs index 2c97df371..e47b1c022 100644 --- a/test_suite/tests/test_de.rs +++ b/test_suite/tests/test_de.rs @@ -46,6 +46,9 @@ mod macros; #[derive(Copy, Clone, PartialEq, Debug, Deserialize)] struct UnitStruct; +#[derive(Copy, Clone, PartialEq, Debug, Deserialize)] +struct GenericUnitStruct; + #[derive(PartialEq, Debug, Deserialize)] struct NewtypeStruct(i32); @@ -883,6 +886,17 @@ fn test_unit_struct() { test(UnitStruct, &[Token::UnitStruct { name: "UnitStruct" }]); } +#[test] +fn test_generic_unit_struct() { + test(GenericUnitStruct::<8>, &[Token::Unit]); + test( + GenericUnitStruct::<8>, + &[Token::UnitStruct { + name: "GenericUnitStruct", + }], + ); +} + #[test] fn test_newtype_struct() { test(