diff --git a/src/rcore/addresses.rs b/src/rcore/addresses.rs
index f2a56d0..6389cd6 100644
--- a/src/rcore/addresses.rs
+++ b/src/rcore/addresses.rs
@@ -41,7 +41,7 @@ pub(super) trait InliningAddresses<E>: Inlining {
         Ok((address, deserializer))
     }
 
-    fn inext_point<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx>>(
+    fn inext_point<'a, Ctx: Context<'a>, A: MentionableBase<'a, Ctx>>(
         self,
         addresses: &mut Addresses,
         resolver: Rc<dyn Resolver<'a, Ctx>>,