{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"let"}]}
                let lhs_diverges = self.diverges.get();
                self.check_expr_coercible_to_type(lhs_expr, tcx.types.bool, None);
                self.check_expr_coercible_to_type(rhs_expr, tcx.types.bool, None);