Skip to content

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

Merged
bors merged 2 commits intorust-lang:masterfrom SimonSapin:nonzero-thread-idMar 23, 2019
+11-4

Commits

Commits on Mar 19, 2019

Commits on Mar 20, 2019