67 commits

Author	SHA1	Message	Date
Aleksey Kladov	8c86963d47	DynMap ... This might, or might not help us to reduce boilerplate associated with plumbing values from analysis to the IDE layer	2019-12-06 21:28:05 +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
Aleksey Kladov	b84ce79f91	Simplify test	2019-12-05 21:17:17 +01:00
Florian Diebold	9747156f6c	Split up ty tests a bit	2019-12-03 18:00:29 +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	a5a07bde04	Add tests for checking the impl self type	2019-12-02 19:33:13 +01:00
Florian Diebold	cfa50df33e	Refactor a bit	2019-12-02 19:33:13 +01:00
Florian Diebold	cbf262a1bc	Change order of calls to get method candidate order correct	2019-12-02 19:33:13 +01:00
bors[bot]	ec164fbb68	Merge #2455 ... 2455: Add BuiltinShadowMode r=flodiebold a=edwin0cheng This PR try to fix #1905 by introduce an `BuiltinShadowMode` in name resolving functions. cc @flodiebold Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>	2019-12-01 11:13:25 +00:00
Edwin Cheng	bb601e7eaf	Add BuiltinShadowMode	2019-11-30 23:29:21 +08:00
Florian Diebold	1c622e9fed	Add cycle recovery for type aliases	2019-11-30 12:57:32 +01:00
Florian Diebold	3ca40f7c08	Add cycle recovery for generic predicates	2019-11-30 12:57:32 +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	4992d2bf79	Infer range types	2019-11-29 03:10:16 +08:00
Aleksey Kladov	ccd1b0800a	Rename Source -> InFile	2019-11-28 12:50:26 +03:00
Aleksey Kladov	d9a36a736b	Rename module_id -> local_id	2019-11-27 21:31:51 +03:00
Aleksey Kladov	a87579500a	Move Ty	2019-11-27 21:16:00 +03:00

Renamed from crates/ra_hir/src/ty/tests.rs (Browse further)