62 commits

Author	SHA1	Message	Date
Aleksey Kladov	8e9837df21	Remove idx and parent generics from generics ... This makes `hir_def::GenericParams` flatter. The logic for re-numbering the params is moved to hir instead.	2019-12-07 13:05:56 +01:00
Aleksey Kladov	30fefcc08c	Store GenericParams in arena	2019-12-07 13:05:56 +01:00
Florian Diebold	f86fe3d891	Don't unify within a reference ... If we are expecting a `&Foo` and get a `&something`, when checking the `something`, we are *expecting* a `Foo`, but we shouldn't try to unify whatever we get with that expectation, because it could actually be a `&Foo`, and `&&Foo` coerces to `&Foo`. So this fixes quite a few false type mismatches.	2019-12-06 15:15:26 +01:00
Florian Diebold	e4add45951	Fix #2467 ... The stand-alone `unify` requires that the type doesn't contain any type variables. So we can't share the code here for now (without more refactoring)...	2019-12-03 15:01:23 +01:00
Florian Diebold	cfa50df33e	Refactor a bit	2019-12-02 19:33:13 +01:00
Florian Diebold	456d52fdfa	Check receiver type properly	2019-12-02 19:33:13 +01:00
Florian Diebold	599dab5982	Extract unification code to unify module	2019-12-02 19:33:13 +01:00
Florian Diebold	cf6809645e	Handle cycles in impl types better ... - impl Trait<Self> for S is allowed - impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for it in Salsa now	2019-11-30 12:57:32 +01:00
oxalica	2cb684bbce	Reduce variants of Expr	2019-11-29 14:49:12 +08:00
oxalica	4992d2bf79	Infer range types	2019-11-29 03:10:16 +08:00
Aleksey Kladov	8d34696826	Memoize impl resolutions	2019-11-27 22:12:09 +03:00
Aleksey Kladov	a87579500a	Move Ty	2019-11-27 21:16:00 +03:00