{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":".compute_discriminant(ty.skip_binders().clone(),"}]}
                        .compute_discriminant(ty.skip_binders().clone(), &[result as i8 as u8])?;
                    let r = self
                    destination.write_from_bytes(self, &r.to_le_bytes()[0..destination.size])?;