Comment 2 for bug 1737169

I don't this could ever be solved without breaking dynamic-extent. Returning from a function could be caught sometimes at compile time, but more elaborate escapes via closures are untraceable.