mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-31 21:16:44 +00:00
This reverts commit d9a1faaa9cff6eab069ea8e5cd7862d0ae48e231. This was originally part of a larger PR that has now been closed as a different approach is taken now.