Diffstat (limited to 'src/protocol/visitor/value.rs')
| -rw-r--r-- | src/protocol/visitor/value.rs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/protocol/visitor/value.rs b/src/protocol/visitor/value.rs index 3265cdd..29466f2 100644 --- a/src/protocol/visitor/value.rs +++ b/src/protocol/visitor/value.rs @@ -3,11 +3,15 @@ //! In some sense, this is the most basic protocol. use effectful::{ - effective::{Canonical, Effective}, environment::Environment, higher_ranked::{for_lt, Rank1}, DynBind, SendSync + effective::{Canonical, Effective}, + environment::Environment, + higher_ranked::{for_lt, Rank1}, + DynBind, SendSync, }; use crate::{ - any::type_name, protocol::{walker::hint::HintMeta, DynVisitor} + any::type_name, + protocol::{walker::hint::HintMeta, DynVisitor}, }; use super::VisitResult; @@ -54,7 +58,7 @@ impl<T, E: Environment> HintMeta for dyn Value<'static, T, E> where T: ?Sized + type_name::Static, { - type Known = for_lt!(<'b> ValueKnown<'b, T>); + type Known = for_lt!(<'src> ValueKnown<'src, type_name::Lowered<'src, 'src, T>>); type Hint = Rank1<()>; } @@ -71,11 +75,7 @@ pub struct ValueKnown<'src, T: ?Sized> { pub preview: Option<&'src T>, } -pub fn visit_value< - 'r, 'src, - T, - E, ->( +pub fn visit_value<'r, 'src, T, E>( visitor: DynVisitor<'r, 'src, E>, value: T, ) -> Canonical<'r, VisitResult<T>, E> |