simplify UnbalancedReference::resolve

This commit is contained in:
AF 2023-07-01 14:42:28 +00:00
parent 3f0fc22b44
commit ffd0cf6ec2

View File

@ -93,9 +93,7 @@ impl<'a, T: Monad<'a>, A: 'a + Clone> TraversibleBinaryReference<'a, T, A, Unbal
for UnbalancedReference<'a, T, A>
{
fn resolve(&self) -> Wrap<'a, Rc<dyn TraversibleBinaryNode<'a, T, A, UnbalancedData>>, T> {
<T as Functor>::fmap(self.0(), |rc| {
rc as Rc<dyn TraversibleBinaryNode<'a, T, A, UnbalancedData>>
})
<T as Functor>::fmap(self.0(), |rc| rc as _)
}
fn data(&self) -> UnbalancedData {