{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"if"}]}
        if self.annotate_mut_binding_to_immutable_binding(err, expr, expr_ty, expected, error) {
        self.annotate_loop_expected_due_to_inference(err, expr, error);
            return;