Diffstat (limited to 'src/protocol/walker/hint.rs')
| -rw-r--r-- | src/protocol/walker/hint.rs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/protocol/walker/hint.rs b/src/protocol/walker/hint.rs index 16b2515..1ec93b4 100644 --- a/src/protocol/walker/hint.rs +++ b/src/protocol/walker/hint.rs @@ -52,18 +52,16 @@ pub trait Hint<'a, 'ctx: 'a, Protocol: ?Sized + HintMeta<'ctx>, E: Effect<'ctx>> pub type DynHint<'a, 'ctx, Protocol, E> = dyn Hint<'a, 'ctx, Protocol, E> + Send + 'a; nameable! { - pub struct Name['a, 'ctx, Protocol, E]; + pub struct Name['ctx, Protocol, E] for<'a>; impl [Protocol::Name, E] for DynHint<'a, 'ctx, Protocol, E> where { - Protocol: TypeNameable<'a, 'ctx> + ?Sized, + Protocol: TypeNameable<'ctx> + ?Sized, E: Effect<'ctx>, - 'ctx: 'a, } impl [Protocol, E] where DynHint<'a, 'ctx, Protocol::Nameable, E> { - Protocol: TypeName<'a, 'ctx> + ?Sized, + Protocol: TypeName<'ctx> + ?Sized, E: Effect<'ctx>, - 'ctx: 'a, } } |