Skip to content

norm nested aliases before evaluating the parent goal#140236

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:normalizes-to-goals
Apr 25, 2025

Commits

Commits on Apr 24, 2025