Skip to content

Improve comments about type folding/visiting.#93758

Merged
bors merged 1 commit intorust-lang:masterfrom nnethercote:improve-folding-commentsFeb 18, 2022

Commits

Commits on Feb 17, 2022