Abstract the state type for futexes#131841

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

paulmenage:futex-abstractionpaulmenage/rust:futex-abstractionCopy head branch name to clipboard