Shadowing member in inheritance hierarchy - why

[monkyyy]

On Friday, 8 August 2025 at 23:52:31 UTC, Brother Bill wrote:
> D language supports shadowing members, where the shadowed 
> member has same name and different type on same type.
>
> Why is this enabled, and when should one use this advanced 
> technique?

Overload rules are probably more fundamental then your thinking. 
Theres a core idea that hidden under the name "overload set".

```d
import std;
void bar(int){"int".writeln;}
void bar(float){"float".writeln;}
ref bar(bool b){
   bool bar;
}
alias foo=bar;

void foobar(alias A)(){
   A(1);
   A(13.37);
   A=true;
}
unittest{
   foobar!foo;
}
```

whats foo? unhelpfully its an "overload set"; I have not seen a 
good explanation for what it is.