Codable も関係無さそうです。 protocolの親子関係とextensionのwhere句が条件と思われます。