Eager: match on last statement and use EqTest#900

Open

Cameron-Low wants to merge 1 commit intomainfrom

Commits on Feb 14, 2026

Use reductive equality tests, and destruct the last matching operator

Cameron-Low
authored and
strub
committed