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