scope escaping

[Meta]

On Thursday, 6 February 2014 at 23:24:08 UTC, Adam D. Ruppe wrote:
> On Thursday, 6 February 2014 at 22:41:34 UTC, Meta wrote:
>> 2. Walter would be dead-set against it. He's said before that 
>> implementing scope would require flow-analysis in the 
>> compiler, which would increase the implementation complexity 
>> by a lot.
>
> I don't agree with that - I think this could be done pretty 
> much within the existing type system, especially since scope 
> has to be set everywhere by the programmer.

I know very little about compilers, but wouldn't figuring out if 
a variable is being escaped to an outer scope require flow 
anyalysis?