Skip to content

Rename the precondition helpers to short_circuit - #9406

Draft
connortsui20 wants to merge 1 commit into
ct/remove-to-compare-operatorfrom
ct/rename-precondition-short-circuit
Draft

Rename the precondition helpers to short_circuit#9406
connortsui20 wants to merge 1 commit into
ct/remove-to-compare-operatorfrom
ct/rename-precondition-short-circuit

Commits

Commits on Aug 13, 2026