Bがfuncを定義しようとしたとき、同じ名前のメソッドが親クラスのprotocolでデフォルト実装がついていたら禁止するってことね