refactor: refine thread variant for windows#4035

RalfJung merged 1 commit intorust-lang:masterrust-lang/miri:masterfrom

discord9:masterdiscord9/miri:masterCopy head branch name to clipboard