Protocol conformance and `Optional`s

I honestly thought so too until I run into a problem, and this is the example from my thread where bar1 and bar2 are the same thing: