Final touches

Author: vigna

CHANGELOG.md

@@ -1,6 +1,6 @@
 # Change Log
 
-## [0.10.2] - 2025-09-25
+## [0.10.2] - 2025-09-26
 
 ### Fixed
 

Cargo.lock

@@ -7,5 +7,5 @@ members = [
 ]
 
 [workspace.dependencies]
-epserde = {path="./epserde", version="0.10.1"}
-epserde-derive = {path="./epserde-derive", version="0.10.0"}
+epserde = {path="./epserde", version="0.10.2"}
+epserde-derive = {path="./epserde-derive", version="0.10.2"}

Cargo.toml

@@ -747,7 +747,7 @@ implementation are considered deep-copy.
 There is a blanket implementation for the [`DeepCopy`] trait for all types
 implementing [`CopyType`] with associated type [`CopyType::Copy`] equal to
 [`Deep`] and also implementing [`SerInner`] with [`SerInner::SerType`]
-implementing [`TypeHash`] and [`ReprHash`] (i.e., the serialization type must
+implementing [`TypeHash`] and [`AlignHash`] (i.e., the serialization type must
 implement such traits).
 
 There is analogously a blanket implementation for the [`ZeroCopy`] trait for all
@@ -827,7 +827,7 @@ An ε-serde serialization process involves two types:
 
 * `S`, the _serializable type_, which is the type of the instance you want to
   serialize. It must implement [`SerInner`] with associated type
-  [`SerInner::SerType`] implementing [`TypeHash`] and [`ReprHash`] (which
+  [`SerInner::SerType`] implementing [`TypeHash`] and [`AlignHash`] (which
   implies [`Serialize`] on `S` by a blanket implementation).
 
 * Its associated _serialization type_ `<S as SerInner>::SerType`.
@@ -849,7 +849,7 @@ An ε-serde deserialization process involves instead three types:
 
 * `D`, the _deserializable type_, which must implement [`DeserInner`], and again
   [`SerInner`] with associated type [`SerInner::SerType`] implementing
-  [`TypeHash`] and [`ReprHash`], so the blanket implementation for
+  [`TypeHash`] and [`AlignHash`], so the blanket implementation for
   [`Deserialize`] applies. This is the type on which deserialization methods are
   invoked.
 
@@ -994,11 +994,11 @@ used to make a structure zero-copy, albeit it must satisfy [a few
 prerequisites].
 
 You can also implement manually the traits [`CopyType`], [`AlignTo`],
-[`TypeHash`], [`ReprHash`], [`SerInner`], and [`DeserInner`], but
+[`TypeHash`], [`AlignHash`], [`SerInner`], and [`DeserInner`], but
 the process is error-prone, and you must be fully aware of ε-serde's
 conventions. The procedural macro [`TypeInfo`] can be used to generate
 automatically at least [`CopyType`], [`AlignTo`], [`TypeHash`], and
-[`ReprHash`] automatically.
+[`AlignHash`] automatically.
 
 ## Acknowledgments
 

README.md

@@ -6,7 +6,7 @@ authors = [
 	"Sebastiano Vigna <sebastiano.vigna@unimi.it>",
 ]
 description = "Procedural macros for ε-serde"
-version = "0.10.0"
+version = "0.10.2"
 edition = "2024"
 repository = "https://github.com/vigna/epserde-rs/"
 license = "Apache-2.0 OR LGPL-2.1-or-later"

epserde-derive/Cargo.toml

@@ -6,7 +6,7 @@ authors = [
 	"Sebastiano Vigna <sebastiano.vigna@unimi.it>",
 ]
 description = "ε-serde is an ε-copy (i.e., almost zero-copy) serialization/deserialization framework"
-version = "0.10.1"
+version = "0.10.2"
 edition = "2024"
 repository = "https://github.com/vigna/epserde-rs/"
 license = "Apache-2.0 OR LGPL-2.1-or-later"

epserde/Cargo.toml

@@ -173,8 +173,8 @@ pub trait SerInner {
 /// Note the bound on the serialization type or `T`: we need to be able to
 /// compute type and alignment hashes for it. We could bind the serialization
 /// type itself in the definition of [`SerInner`], but having the bound here
-/// instead gives us more flexibility and makes the implementation of [`Owned`]
-/// possible.
+/// instead gives us more flexibility and makes the implementation of
+/// [`Owned`](crate::deser::Owned) easier.
 impl<T: SerInner<SerType: TypeHash + AlignHash>> Serialize for T {
     unsafe fn ser_on_field_write(&self, backend: &mut impl WriteWithNames) -> Result<()> {
         // write the header using the serialization type, not the type itself

epserde/src/ser/mod.rs

@@ -115,7 +115,6 @@ pub trait ZeroCopy:
 }
 
 impl<
-    'a,
     T: CopyType<Copy = Zero>
         + Copy
         + SerInner<SerType = Self>