Skip to content

don't ICE for alias-relate goals with error term#137211

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:alias-relate-accept-error
Feb 18, 2025
Merged

don't ICE for alias-relate goals with error term#137211
bors merged 1 commit intorust-lang:masterfrom
lcnr:alias-relate-accept-error

Commits

Commits on Feb 18, 2025