Skip to content

feat: add RewriteBase<'a, L, N> to relax 'static bound on Rewrite - #365

Merged
mwillsey merged 2 commits into
egraphs-good:mainfrom
MavenRain:feat/relax-static-lifetime-rewrite
Apr 9, 2026
Merged

mwillsey merged 2 commits into
egraphs-good:mainfrom
MavenRain:feat/relax-static-lifetime-rewrite

Commits

Commits on Apr 8, 2026