I think the problem is, then constructs such as yield (the behavior of which depends on the current function scope), would no longer work correctly.