fix: Improve error message returned by Subsume#3862

Open

GrahamDennis wants to merge 3 commits intocue-lang:masterfrom

GrahamDennis:gdennis/improve-subsumption-error

Commits on Mar 29, 2025

Commits on Apr 12, 2025

fix: Remove dead code and respond to feedback.
GrahamDennis
committed