Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #35882 - petrochenkov:patch-2, r=eddyb
rustc: Fix outdated comment cc #35870 (comment) r? @eddyb
- Loading branch information