Skip to content

Emit diagnostic for privately uninhabited uncovered witnesses.#111624

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:private-uninhabited-pattern
May 25, 2023

Commits

Commits on May 24, 2023