Default Protocol Implementation Inheritance Behaviour - The current situation and what/if anything should be done about it

I think that sums up this thread quite well.

As with all issues in this Ghost of Swift Bugs Future family, I wonder if a more complete set of compiler warnings about (possibly unintended) shadowing might help here.

1 Like

It would be good to know which of these is the case. I don't know the right person to to ask for specific feedback in this particular case. Maybe @Ben_Cohen could shed some light? (Sorry if you aren't the right person to be tagging here Ben).

The problem with adding a warning here is what would you actually add the warning for? I guess the unexpected case that's been highlighted above would make the most sense, but then we don't really have warnings to indicate strange behaviours in the language anywhere else (that I'm aware of). If we start adding warnings for 'unexpected behaviours' then the question will probably be raised as to why the logic wasn't simply changed to a more expected behaviour.