Rust currently uses separate namespaces for types and values which allows some funny patterns, like “real constructors”.
But looks like this feature is completely undocumented. So what’s the status of this? Is this a part of the language definition, or an implementation detail which can be changed in the future?
And are there any relevant docs besides source code of librustc_resovle?