encode(to:) Encodes this value into the given encoder Declarationfunc encode(to encoder: any Encoder) throws