そうです。そのようにrequirementsがあって初めて、protocolのextensionや、structにおける同名のfuncエントリが、「プロトコルのメソッドを実装している」事になります。知らないとハマるポイントですね〜