Correct comment on privately uninhabited pattern.#111951
Merged
bors merged 3 commits intorust-lang:masterfrom May 26, 2023
Merged
Correct comment on privately uninhabited pattern.#111951bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom