{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"destination.write_from_bytes(self,"}]}
                destination.write_from_bytes(self, &r.to_le_bytes()[0..destination.size])
                let r = self.compute_discriminant(ty.clone(), interval.get(self)?)?;
            }