This change lets contributors using VSCode to press Ctrl + T to search for dependency types (including rustc!), not just local crate types. (For example, try searching for TyCtxt!)
I believe this is an ergonomic improvement, but it can clutter up and slow down the search results. Let me know if you don't think this is an improvement!
BD103
commented
1 month ago
This change lets contributors using VSCode to press
Ctrl + Tto search for dependency types (includingrustc!), not just local crate types. (For example, try searching forTyCtxt!)I believe this is an ergonomic improvement, but it can clutter up and slow down the search results. Let me know if you don't think this is an improvement!
Originally found while browsing Kani's section on working with
rustc.