{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"self.use_ecx(|this|"}]}
                        self.use_ecx(|this| this.ecx.read_discriminant(&op))?
                        let op = op.clone();
                    }