Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Intended to workaround a backwards-incompatible change in `rustc`: <rust-lang/rust#85574>. Frustrating, but it was for a potential soundness fix, so oh well.
- Loading branch information