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

Commits

Commits on Feb 18, 2025