Protocol conformance and `Optional`s

I asked a similar question, here is the answer: How does this rule work in regard of ambiguity? - #2 by jrose