Skip to content

Make the success arms of if lhs || rhs meet up in a separate block#121784

Merged
bors merged 1 commit intorust-lang:masterfrom Zalathar:if-or-convergeMar 1, 2024

Commits

Commits on Feb 29, 2024