Add better explanation for rustc_index::IndexVec#122015
Merged
bors merged 1 commit intorust-lang:masterfrom dev-ardi:masterMar 7, 2024
+18-1
Commits
Commits on Mar 6, 2024
- committed
orion GONZALEZ (contractor)
rustc_index::IndexVec#122015