Hmm.. I hoped it would be fairly simple. Say, for each super
lifetime we parameterize a function invocation with in the caller
- make sure that this lifetime outlives no enclosing loop
- limit all closures that it outlives but is enclosed by to implementing
FnOnce
Anything else really?