book-monads/src/ch04/s02-lifetimes.md
2023-05-30 18:02:05 +00:00

232 B

Making lifetimes a parameter of a trait instead of that of the GAT

Current:

pub trait WeakFunctorAny {
    type F<'a, A: 'a>: 'a
    where
        Self: 'a;
}

pub trait WeakFunctor<'a>: 'a {
    type F<A: 'a>: 'a;
}