The following additional sections have been added to the original pitch.
Normally, lifetime dependence is required when a nonescapable function result depends on an argument to that function. In some rare cases, however, a nonescapable function parameter may depend on another argument to that function. Consider a function with an inout
parameter. The function body may reassign that parameter to a value that depends on another parameter. This is similar in principle to a result dependence.