Classes should be disallowed from defining properties incompatible with their protocols...EVEN IF there is a default

[gwendal.roue (Gwendal Roué)]

I think this had been recently discussed at Can property shadowing warnings be improved? (re: SR-6689). @Marc_Palmer suggests that the compiler emits a warning in such case.