Fix a typo in the error reporting for sealed traits.#114490

Merged

bors merged 1 commit intorust-lang:masterfrom kernelmethod:error-reporting-typos

Aug 5, 2023

+2-2

Commits on Aug 5, 2023

Fix a typo in the error reporting for sealed traits.
kernelmethod
committed