AliasRelate: don't discard constraints on overflow#148069

Draft

lcnr wants to merge 3 commits intorust-lang:mainfrom

lcnr:alias-relate-no-discard-constraints

Commits on Nov 10, 2025

propagate nested goal path kind

lcnr
authored and
jdonszelmann
committed
fix, seems to hang though

lcnr
authored and
jdonszelmann
committed
fix some comment typos
jdonszelmann
committed