I also had a question regarding case #1 a few days ago.
That mentioned, I also would like that the compiler would accept conformances with non-optional implementation satisfying optional requirement. This would, if possible to implement without any extra requirement, avoid issues with static dispatch which we currently can have.