loosen inext_point

This commit is contained in:
AF 2023-07-29 14:31:10 +00:00
parent 56208d05f2
commit 486b4de7f8

View File

@ -41,7 +41,7 @@ pub(super) trait InliningAddresses<E>: Inlining {
Ok((address, deserializer)) 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, self,
addresses: &mut Addresses, addresses: &mut Addresses,
resolver: Rc<dyn Resolver<'a, Ctx>>, resolver: Rc<dyn Resolver<'a, Ctx>>,