[core] Fix a soundness hole in `core::sync::Exclusive`#106792

Closed

dead-claudia wants to merge 1 commit intorust-lang:masterfrom dead-claudia:patch-1

+4-6

Commits on Jan 13, 2023

[core] Fix a soundness hole in core::sync::Exclusive
dead-claudia
committed