enum VarScopingFlags

Variables are hoisted in their scope

It's not allowed to shadow existing variables in a scope.

It's not allowed to shadow a catch variable.

Local vars cannot have the same name as the current top-level package or (if in the root package) current class name

Local vars cannot have a name used for any top-level symbol (packages and classes in the root package)

Reserve all type-paths converted to "flat path" with Path.flat_path

List of names cannot be taken by local vars

Cases in a switch won't have blocks, but will share the same outer scope.