Skip to content

don't generate extra impl for Eq assertions#128

Closed
fee1-dead wants to merge 1 commit intoModProg:mainfrom
fee1-dead-contrib:no-more
Closed

don't generate extra `impl` for `Eq` assertions#128
fee1-dead wants to merge 1 commit intoModProg:mainfrom
fee1-dead-contrib:no-more

Commits

Commits on Aug 9, 2025