Move mutex_integer to restriction and improve mutex_{integer,atomic} docs#14110

Merged

Jarcho merged 1 commit intorust-lang:masterfrom

taiki-e:mutex_integer

Feb 4, 2025

Commits on Jan 30, 2025

Move mutex_integer to restriction and improve mutex_{integer,atomic} docs
taiki-e
committed