presense of non-foldable SATISFIES types.
* bug fix: stack analysis missed cleanups of dynamic-extent
arguments in non-let-converted calls to local functions.
presense of non-foldable SATISFIES types.
* bug fix: stack analysis missed cleanups of dynamic-extent
arguments in non-let-converted calls to local functions.