64 bit ThreadIds and pointer equality
Changes ThreadId
from 32 to 64 bits.
The second commit makes (==)
on ThreadId
more efficient while maintaining compatibility with Ord
.
Fixes #16761 (closed).
Changes ThreadId
from 32 to 64 bits.
The second commit makes (==)
on ThreadId
more efficient while maintaining compatibility with Ord
.
Fixes #16761 (closed).