Skip to content

Add non_exhaustive everywhere#342

Merged
Manishearth merged 3 commits intorust-diplomat:mainfrom Manishearth:nonexSep 21, 2023