Label non_exhaustive
attribute on privacy errors from non-local items#110013
Merged
bors merged 2 commits intorust-lang:masterfrom Apr 7, 2023
Merged
Label `non_exhaustive` attribute on privacy errors from non-local items#110013bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom