Skip to content

Make Option<ThreadId> no larger than ThreadId, with NonZeroU64#59291

Merged
bors merged 2 commits intorust-lang:masterfrom
SimonSapin:nonzero-thread-id
Mar 23, 2019

Commits

Commits on Mar 19, 2019

Commits on Mar 20, 2019