rust-analyzer - [FORK] modified to work on wasm targets

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix coercion from &Foo to an inference variable in a reference	Florian Diebold	2019-12-08	1	-1/+5
\| \| \| \|	We didn't try to unify within the reference, but we should.
*	Refactor parameter count tracking	Aleksey Kladov	2019-12-07	1	-10/+8
\|
*	Remove idx and parent generics from generics	Aleksey Kladov	2019-12-07	1	-11/+13
\| \| \| \| \|	This makes `hir_def::GenericParams` flatter. The logic for re-numbering the params is moved to hir instead.
*	Store GenericParams in arena	Aleksey Kladov	2019-12-07	1	-1/+1
\|
*	Don't unify within a reference	Florian Diebold	2019-12-06	1	-11/+10
\| \| \| \| \| \| \|	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.
*	Fix #2467	Florian Diebold	2019-12-03	2	-3/+14
\| \| \| \| \|	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)...
*	Refactor a bit	Florian Diebold	2019-12-02	1	-35/+3
\|
*	Check receiver type properly	Florian Diebold	2019-12-02	2	-9/+13
\|
*	Extract unification code to unify module	Florian Diebold	2019-12-02	5	-30/+290
\|
*	Handle cycles in impl types better	Florian Diebold	2019-11-30	2	-6/+3
\| \| \| \| \| \|	- 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
*	Reduce variants of Expr	oxalica	2019-11-29	1	-39/+37
\|
*	Infer range types	oxalica	2019-11-28	1	-0/+41
\|
*	Memoize impl resolutions	Aleksey Kladov	2019-11-27	2	-22/+10
\|
*	Move Ty	Aleksey Kladov	2019-11-27	5	-0/+1658