{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":")"}]}
    ) -> interpret::InterpResult<'tcx, ImmTy<'tcx, Self::Provenance>> {
        right: &interpret::ImmTy<'tcx, Self::Provenance>,
        use rustc_middle::mir::BinOp::*;