{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            _ => span_bug!(self.cur_span(), "Invalid operation on bool: {:?}", bin_op),
        ImmTy::from_bool(res, *self.tcx)