Reviving thread: Why can lifetimes not be inferred? - #19 by ExpHP
Wouldn't the second describe all possibilities whereas the first is too restrictive in what longest can offer.
I understand though that we need explicit annotations in signatures because they are decoupled from their value (m to n relationship).
What I mean is: Can we just assume the worst case for values (functions,impls) or is this not enough in some cases?