syntax_data: {"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"BinOp::Le,"}]}
source_snippet:                 BinOp::Le,
context_before:                 // This is a `WrappingRange`, so make sure to get the wrapping right.
context_after:                 Box::new((Operand::Copy(discr_diff), end_start_diff_const)),