mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-27 11:05:06 +00:00
This sharding is never used (per the comment in code). If we re-add sharding at some point in the future this is cheap to restore, but for now no need for the extra complexity.
For more information about how the query system works, see the rustc dev guide.