Skip to content

Preserve equality attributes for annotated algebraic values - #504

Merged
9il merged 1 commit into
libmir:masterfrom
jmh530:fix/annotated-equality-inference
Nov 6, 2026
Merged

Preserve equality attributes for annotated algebraic values#504
9il merged 1 commit into
libmir:masterfrom
jmh530:fix/annotated-equality-inference

Commits

  1. Commits on Nov 4, 2026