Skip to content

Remove terminating_scopes hash set.#139067

Merged
bors merged 1 commit intorust-lang:masterfrom
m-ou-se:terminating-scopes-no-hashset
Mar 29, 2025
Merged

Remove `terminating_scopes` hash set.#139067
bors merged 1 commit intorust-lang:masterfrom
m-ou-se:terminating-scopes-no-hashset

Commits

Commits on Mar 28, 2025