`override` for protocol conformances?

Sorry I never responded to your ping @gwendal.roue! FWIW I do still think this is a problem and would love to see the situation improved or solved somehow. I haven’t looked back through the whole pitch or thread but procedurally, the step after pitching a feature and responding to feedback would be to cook up a prototype implementation and open a PR against the evolution repository to signal review-readiness on your end.