I strongly agree with this as someone who enjoys writing Rust and who doesn't use an IDE (or an LSP plugin, or anything like that): it's mildly annoying to have to `use` a bunch of traits to bring their contracts into scope, but for that `use` to not be explicit about the contents of those contracts. Forgetting to import `Read`, `Write`, `TryFrom`, etc. probably accounts for over 75% of my "small" compilation errors.

I can't find it now, but I remember an RFC that proposes a solution to this, although in the opposite direction (i.e., more traits in the standard prelude). It would be interesting to see a `use` variant in a future edition of the language that allows users to bring in specific parts of the trait's contract, e.g. `use std::io::Read::read_exact`.