Variable scoping is not documented

[anton-trunov]

For instance, is variable shadowing allowed?

[novusnota]

Shadowing is not allowed. And with recent fix of variable scoping bug in loops, the scope of a variable declared with let is one of the following curly-brace-enclosed syntaxes that most closely contains the let statement:

• Function body
• Any block statement inside the function body: try...catch, if...else, all loops, etc.

The scope of the persistent state variable is all the receiver, getter and internal function bodies of the contract/trait.

[anton-trunov]

We need var-scope tests in the compiler to make sure the docs say the truth: https://github.com/tact-lang/tact/issues/288

[novusnota]

Intrestingly enough, function shadowing is not allowed, but has inconsistent behavior:

• when trying to define a function from global.ts, say, ton() it works just fine, but when trying to call it the actual global.ts ton() is being called instead of the freshly defined one. Notice, that there's no error if the arguments are exactly what the global.ts function expected, which can lead to unexpected results!
• but when one re-defines a library function, say, beginCell() — that very attempt is marked as an error Static function beginCell() already exists.

[anton-trunov]

Shadowing is not allowed

We should definitely have test cases for all the cases listed below in https://github.com/tact-lang/tact-docs/issues/191#issuecomment-2073163857