Reject stale refinements after short-circuit RHS writes - #324

Reject stale refinements after short-circuit RHS writes#324

CatarinaGamboa wants to merge 1 commit into

mainliquid-java/liquidjava:mainfrom

fix/323-short-circuit-soundnessliquid-java/liquidjava:fix/323-short-circuit-soundnessCopy head branch name to clipboard