Shadowing of members

[mist]

On Wednesday, 16 January 2013 at 11:50:18 UTC, bearophile wrote:
> mist:
>
>> Yes and this is the very difference between compiler and 
>> static analysis tool, in my opinion. Compiler should never 
>> ever reject valid use cases, it does not matter how small 
>> chance of meeting those is.
>
> In most cases debugging is an inherently statistical thing 
> because large programs always contain many bugs. In programming 
> life you can't work with absolutes, you should look at the 
> probabilities too.

Yes, I fully agree with you. That is way having a solid static 
analysis tool is must for low-level language. But compiler has 
different job and I like it UNIX-way.

>> Also I am not Walter and second question has probably been 
>> targeted wrong :)
>
> Walter time is probably better spent elsewhere. If you have 
> understood well what Walter meant, you should be able to write 
> that a counterexample in that enhancement request.

No idea how well I have understood, but I'll scratch a code 
example, no problem.