tidbit

FStarLang · Nov 29, 2023 · aa31ad6 · aa31ad6
1 parent c4ae783
commit aa31ad6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Simplify.ml b/lib/Simplify.ml
@@ -1066,7 +1066,7 @@ and hoist_expr loc pos e =
       (* We now allow IfThenElse nodes directly under IfThenElse, on the basis
        * that the outer IfThenElse is properly positioned under a let-binding.
        * let_if_to_assign will know how to deal with this. *)
-      if pos = UnderStmtLet || pos = UnderConditional then
+      if pos = UnderStmtLet || pos = UnderConditional || Options.rust () then
         lhs1, mk (EIfThenElse (e1, e2, e3))
       else
         let b, body, cont = mk_named_binding "ite" t (EIfThenElse (e1, e2, e3)) in