Of course you can just ask the user to download sources, but this is a bit suboptimal. User should do rustc -vV to figure out what version of the stdlib does she need. And this have to be repeated once every 6 weeks at least. And the user can make mistakes.
The whole point of this thread for me is to try to figure out, how to avoid this manual boilerplate and just to do the right thing using cargo, rustup or some other rust tool which naturally knows how do deal with stdlib and without encoding knowledge about rust repository structure in the IDE. And this completely automagical solution would be impossible if you only have the option to specify ādownload standard library sourcesā during the initial installation of Rust.
Asking the user to attach sources or writing some code to download/extract/find stdlib is perfectly possible at the moment and everybody does this (although even this workflow can be improved by providing a pure stdlib download, without the compiler)
Sorry for causing some confusion 