Open RalfJung opened 6 years ago
This crate likely also suffers from https://github.com/rust-lang/rust/issues/5253, which got fixed by https://github.com/rust-lang/rust/pull/53196/commits/fe28bcf1db02afe184e3677ee034b2a5804f2466.
That doesn't look to bad to carry over (at a glance).
This crate likely also suffers from https://github.com/rust-lang/rust/issues/5253, which got fixed by https://github.com/rust-lang/rust/pull/53196/commits/fe28bcf1db02afe184e3677ee034b2a5804f2466.