Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Remove queries from rustc_interface #59904
Click to expand the log.
Visiting from triage, I'm closing the series of PRs here other than the first one since they will likely only make progress sequentially and it doesn't help to have all of them open. For reference, this is #59404, #59338, #59282, and #59205 which are (in that order) blocked on each other and eventually #59064.
Feel free to reopen as those PRs merge and/or make progress.