Didn't know this shipped in ios 17. The comment mentions "JSONDecoder", do you know if it's only the decoder, or the encoder too ?

Problem with iOS is this constant need for objc compatibility and transparent bridging, which really messes things up a lot..