Hacker News Reader

Comment by zeeboo | Hacker News Reader

There's no shadowing in the latter case. The second case is the same thing as

    a := 2
    a = 3

By definition you must have nested scopes to have shadowing. Within the same scope, it's only ever assignment.

View on HN

Well, in Rust you could do:

    let a = 2;
    let a = 3;

I think you would say the latter shadows the former...

Indeed, because semantically there is a syntactically implicit scope for every let binding. For example, in that case, the outer a is dropped after the inner a, just as if the second a had been inside of a block. There may be multiple syntactic ways to introduce a new scope.

Reply on news.ycombinator.com