[nem-en] 0000898: 'int' treated as an identifier even if usedwithout verbatim specifier (@)

[Vladimir Reshetnikov]

On 2/20/07, Kamil Skalski <kamil.skalski at gmail.com> wrote:
> But would it work only for variables introduced in matching's  'as'
> pattern? Because if it is for any variable definitions, I don't this
> it is a good idea.

If a variable declared explicitly (via 'def' or 'mutable'), hiding a type is OK.
My request is to prevent an accidental hiding a type only by an
implicitly declared variable.