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