• roland's avatar
    Use pointer equality in Eq/Ord for ThreadId · d1f3c637
    roland authored
    Changes (==) to use only pointer equality. This is safe because two
    threads are the same iff they have the same id.
    Changes `compare` to check pointer equality first and fall back on ids
    only in case of inequality.
    See discussion in #16761.
Threads.c 30.1 KB