- Fixes a potential soundness hole when
make_guard!is used in a diverging function. Thanks to @dvdhrm for initially reporting the issue and @RustyYato for contributing an elegant fix.
Contributors
dvdhrm and RustyYato
make_guard! is used in a diverging function. Thanks to @dvdhrm for initially reporting the issue and @RustyYato for contributing an elegant fix.
