feat: extend if h: hypothesis scope after early return#5585
Closed
TomasPuverle wants to merge 1 commit intoleanprover:masterfrom TomasPuverle:else_syntax
+86-3
if h: hypothesis scope after early return#5585