155 commits

Author	SHA1	Message	Date
Aleksey Kladov	0ca1ba29e8	Don't expose hir::Path out of hir ... Conjecture: it's impossible to use hir::Path *correctly* from an IDE. I am not entirely sure about this, and we might need to add it back at some point, but I have to arguments that convince me that we probably won't: * `hir::Path` has to know about hygiene, which an IDE can't set up properly. * `hir::Path` lacks identity, but you actually have to know identity to resolve it correctly	2020-08-15 18:50:41 +02:00
Dmitry	73315c9168	synchronizing changes	2020-08-15 02:37:43 +07:00
Aleksey Kladov	125744c057	Rename hypothetical -> speculative	2020-08-14 15:23:27 +02:00
Aleksey Kladov	9664c57e60	Make hygiene private to hir	2020-08-13 23:54:37 +02:00
Aleksey Kladov	ae71a631fd	Rename ra_hir -> hir	2020-08-13 16:36:55 +02:00