16 commits

Author	SHA1	Message	Date
Aleksey Kladov	8c3e372835	Remove Resolver from autoderef ... Resolver holds onto too much context, including local scopes. Let's try to pass in only what is necessary -- the trait environment.	2019-11-25 13:10:26 +03:00
Aleksey Kladov	d06904e90c	Switch to variant-granularity field type inference	2019-11-25 00:12:36 +03:00
Aleksey Kladov	63e3ea38d3	Don't redo field resolution in the IDE	2019-11-24 20:06:55 +03:00
Aleksey Kladov	4daf931111	Remove old hir::generics module	2019-11-21 16:23:02 +03:00
Aleksey Kladov	6d64798a23	Move resolver to hir_def	2019-11-21 15:39:09 +03:00
Aleksey Kladov	621cf06156	Decouple	2019-11-21 13:48:05 +03:00
Aleksey Kladov	24964ca58e	Move expr resolver to resolve	2019-11-21 13:28:04 +03:00
Aleksey Kladov	70dd70b1fc	Reduce duplication between uncertain floats & ints	2019-11-13 09:56:33 +03:00
Aleksey Kladov	fe00db72b9	Remove owner from Body	2019-11-12 16:46:27 +03:00
Aleksey Kladov	d09e5a3d9e	Move definition of exprs to hir_def	2019-11-12 15:09:25 +03:00
Aleksey Kladov	739babc391	Move Namespace enum closer to usage	2019-11-04 23:02:35 +03:00
Aleksey Kladov	f0eb9cc6e6	Remove last traces of nameres from hir	2019-11-03 23:49:44 +03:00
Aleksey Kladov	872ac566bf	push name down to hir_expand	2019-10-30 18:56:20 +03:00
Aleksey Kladov	e564334320	remove forward pointer to Path	2019-10-30 17:43:14 +03:00
Aleksey Kladov	f8ddef875a	remove forward pointer for name	2019-10-30 17:43:14 +03:00
Florian Diebold	2955fbc7e1	Split up infer.rs further ... - coercion logic goes to `coerce.rs` - expression inference goes to `expr.rs` - pattern inference goes to `pat.rs`	2019-10-12 18:41:11 +02:00