An improvement for the resolver suggested by @petrochenkov [here](https://github.com/rust-lang/rust/pull/143519#issuecomment-3069576735).