diff --git a/src/rstd/atomic/au64.rs b/src/rstd/atomic/au64.rs
index 54826f4..c651453 100644
--- a/src/rstd/atomic/au64.rs
+++ b/src/rstd/atomic/au64.rs
@@ -42,7 +42,13 @@ impl Atomic for u64 {
     }
 
     fn a_extend(self, tail: &[u8]) -> Result<Self, Self::AParseError> {
-        Err(IntParseError::ExtraData(tail.len()))
+        Err(Self::a_extension_error(tail))
+    }
+}
+
+impl InlineableAtomic for u64 {
+    fn a_extension_error(tail: &[u8]) -> Self::AParseError {
+        IntParseError::ExtraData(tail.len())
     }
 }
 
diff --git a/src/rstd/atomic/boolean.rs b/src/rstd/atomic/boolean.rs
index ebd4f26..539beec 100644
--- a/src/rstd/atomic/boolean.rs
+++ b/src/rstd/atomic/boolean.rs
@@ -54,7 +54,13 @@ impl Atomic for bool {
     }
 
     fn a_extend(self, tail: &[u8]) -> Result<Self, Self::AParseError> {
-        Err(BooleanParseError::ExtraData(tail.len()))
+        Err(Self::a_extension_error(tail))
+    }
+}
+
+impl InlineableAtomic for bool {
+    fn a_extension_error(tail: &[u8]) -> Self::AParseError {
+        BooleanParseError::ExtraData(tail.len())
     }
 }
 
diff --git a/src/rstd/collections/stack.rs b/src/rstd/collections/stack.rs
index fca8955..e6d0ae7 100644
--- a/src/rstd/collections/stack.rs
+++ b/src/rstd/collections/stack.rs
@@ -181,6 +181,9 @@ impl<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx> + Clone> ExtStackClone<'a, Ct
 impl<'a, Ctx: Context<'a>, F: InlineableFactory<'a, Ctx>> InlineableFactory<'a, Ctx>
     for StackNodeFactory<F>
 {
+    fn extension_error(&self, tail: &[u8]) -> Self::ParseError {
+        StackParseError::Element(self.element_factory.extension_error(tail))
+    }
 }
 
 impl<'a, Ctx: Context<'a>, F: FixedSizeFactory<'a, Ctx>> FixedSizeFactory<'a, Ctx>
diff --git a/src/rstd/inlining.rs b/src/rstd/inlining.rs
index d0d7d4a..e5c8908 100644
--- a/src/rstd/inlining.rs
+++ b/src/rstd/inlining.rs
@@ -11,7 +11,9 @@ use super::{
 };
 
 /// This factory should return an error on EOF.
-pub trait InlineableFactory<'a, Ctx: Context<'a>>: Factory<'a, Ctx> {}
+pub trait InlineableFactory<'a, Ctx: Context<'a>>: Factory<'a, Ctx> {
+    fn extension_error(&self, tail: &[u8]) -> Self::ParseError;
+}
 
 /// This factory always reads the same amount of bytes or returns error.
 pub trait FixedSizeFactory<'a, Ctx: Context<'a>>: InlineableFactory<'a, Ctx> {
@@ -41,7 +43,9 @@ pub trait ConstSizeObject<'a, Ctx: Context<'a>>: FixedSizeObject<'a, Ctx> {
 }
 
 /// Atomic analogue of [`InlineableFactory`]/[`InlineableObject`].
-pub trait InlineableAtomic: Atomic {}
+pub trait InlineableAtomic: Atomic {
+    fn a_extension_error(tail: &[u8]) -> Self::AParseError;
+}
 
 /// Atomic analogue of [`ConstSizeFactory`]/[`ConstSizeObject`].
 ///
@@ -52,9 +56,11 @@ pub trait ConstSizeAtomic: InlineableAtomic {
     const SIZE: usize;
 }
 
-impl<A: ConstSizeAtomic> InlineableAtomic for A {}
-
-impl<'a, Ctx: Context<'a>, A: InlineableAtomic> InlineableFactory<'a, Ctx> for AtomicFactory<A> {}
+impl<'a, Ctx: Context<'a>, A: InlineableAtomic> InlineableFactory<'a, Ctx> for AtomicFactory<A> {
+    fn extension_error(&self, tail: &[u8]) -> Self::ParseError {
+        A::a_extension_error(tail)
+    }
+}
 
 impl<'a, Ctx: Context<'a>, A: ConstSizeAtomic> FixedSizeFactory<'a, Ctx> for AtomicFactory<A> {
     fn size(&self) -> usize {
@@ -201,9 +207,9 @@ pub trait AlwaysFixedSize {
     fn _size(&self) -> usize;
 }
 
-impl<'a, Ctx: Context<'a>, F: AlwaysFixedSize + Factory<'a, Ctx>> InlineableFactory<'a, Ctx> for F {}
-
-impl<'a, Ctx: Context<'a>, F: AlwaysFixedSize + Factory<'a, Ctx>> FixedSizeFactory<'a, Ctx> for F {
+impl<'a, Ctx: Context<'a>, F: AlwaysFixedSize + InlineableFactory<'a, Ctx>>
+    FixedSizeFactory<'a, Ctx> for F
+{
     fn size(&self) -> usize {
         self._size()
     }
@@ -220,10 +226,18 @@ impl<F: AlwaysConstSize> AlwaysFixedSize for F {
     }
 }
 
-impl<'a, Ctx: Context<'a>, F: AlwaysConstSize + Factory<'a, Ctx>> ConstSizeFactory<'a, Ctx> for F {
+impl<'a, Ctx: Context<'a>, F: AlwaysConstSize + InlineableFactory<'a, Ctx>>
+    ConstSizeFactory<'a, Ctx> for F
+{
     const SIZE: usize = Self::_SIZE;
 }
 
+impl<'a, Ctx: Context<'a>, F: Factory<'a, Ctx>> InlineableFactory<'a, Ctx> for PointFactory<F> {
+    fn extension_error(&self, tail: &[u8]) -> Self::ParseError {
+        PointParseError::WrongLength(HASH_SIZE + tail.len())
+    }
+}
+
 impl<F> AlwaysConstSize for PointFactory<F> {
     const _SIZE: usize = HASH_SIZE;
 }
diff --git a/src/rstd/inlining/static_pair.rs b/src/rstd/inlining/static_pair.rs
index 8c6f073..11da2cc 100644
--- a/src/rstd/inlining/static_pair.rs
+++ b/src/rstd/inlining/static_pair.rs
@@ -166,6 +166,10 @@ impl<'a, Ctx: Context<'a>, SP: StaticPair<'a, Ctx>> InlineableFactory<'a, Ctx>
 where
     SP::FB: InlineableFactory<'a, Ctx>,
 {
+    fn extension_error(&self, tail: &[u8]) -> Self::ParseError {
+        let (_, fb) = SP::factories(&self.factory_data);
+        SP::from_error_b(&self.factory_data, fb.extension_error(tail))
+    }
 }
 
 impl<'a, Ctx: Context<'a>, SP: StaticPair<'a, Ctx>> FixedSizeFactory<'a, Ctx>
diff --git a/src/rstd/nullable.rs b/src/rstd/nullable.rs
index 9fed7af..69435ed 100644
--- a/src/rstd/nullable.rs
+++ b/src/rstd/nullable.rs
@@ -71,7 +71,7 @@ impl<'a, Ctx: Context<'a>, F: Factory<'a, Ctx>> Factory<'a, Ctx> for NullableFac
     }
 
     fn extend(&self, _mentionable: Self::Mtbl, tail: &[u8]) -> ParseResult<'a, Ctx, Self> {
-        Err(PointParseError::WrongLength(HASH_SIZE + tail.len()))
+        Err(self.extension_error(tail))
     }
 }
 
@@ -116,6 +116,12 @@ impl<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx>> Clone for Nullable<'a, Ctx,
     }
 }
 
+impl<'a, Ctx: Context<'a>, F: Factory<'a, Ctx>> InlineableFactory<'a, Ctx> for NullableFactory<F> {
+    fn extension_error(&self, tail: &[u8]) -> Self::ParseError {
+        PointParseError::WrongLength(HASH_SIZE + tail.len())
+    }
+}
+
 impl<F> AlwaysConstSize for NullableFactory<F> {
     const _SIZE: usize = HASH_SIZE;
 }