Skip to content

Make region equality emits Eq constraints#155258

Open
ShoyuVanilla wants to merge 1 commit intorust-lang:mainfrom
ShoyuVanilla:eq-constraint
Open

Make region equality emits Eq constraints#155258
ShoyuVanilla wants to merge 1 commit intorust-lang:mainfrom
ShoyuVanilla:eq-constraint

Commits

Commits on Apr 15, 2026