335 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
Edwin Cheng	76ff5b7c15	Add tests	2019-12-06 23:48:45 +08: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	db8a00bd99	Implement derive(Copy, Clone) properly (well, kind of)	2019-12-05 19:29:57 +01:00
ice1000	7cbedc50bc	Fix test compilation	2019-12-04 18:30:42 -05:00
Florian Diebold	9747156f6c	Split up ty tests a bit	2019-12-03 18:00:29 +01:00
ice1000	009437f5d9	Replace ra_hir_expand::either with crate	2019-12-03 11:07:56 -05: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
bors[bot]	ba4f7fa02f	Merge #2465 ... 2465: Extract built-in trait implementations to separate module r=matklad a=flodiebold This untangles the builtin logic from the Chalk translation. Co-authored-by: Florian Diebold <flodiebold@gmail.com>	2019-12-03 13:43:05 +00:00
Florian Diebold	18f25acb89	Make unify pub(crate)	2019-12-03 13:58:02 +01:00
Florian Diebold	176207f1e8	Extract built-in trait implementations to separate module ... This untangles the builtin logic from the Chalk translation.	2019-12-03 12:30:50 +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	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	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	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	8f1f5a783a	Move source-related traits to a separate module	2019-11-28 19:05:21 +03:00
Aleksey Kladov	ccd1b0800a	Rename Source -> InFile	2019-11-28 12:50:26 +03:00
Aleksey Kladov	1d14fd1737	Use Name::missing consistently	2019-11-27 23:22:20 +03:00
Aleksey Kladov	04735abfae	Minimize API	2019-11-27 22:21:01 +03:00
Aleksey Kladov	8d34696826	Memoize impl resolutions	2019-11-27 22:12:09 +03:00
Aleksey Kladov	d9a36a736b	Rename module_id -> local_id	2019-11-27 21:31:51 +03:00
Aleksey Kladov	47ec2ceb12	prune deps	2019-11-27 21:26:49 +03:00
Aleksey Kladov	a87579500a	Move Ty	2019-11-27 21:16:00 +03:00
Jeremy Kolb	b81548c73a	Fix stale crates that snuck in	2019-11-26 08:20:40 -05:00
Aleksey Kladov	4e17718a9a	Doc primitives	2019-11-26 15:41:48 +03:00
Aleksey Kladov	4c43631829	Introduce hir_ty	2019-11-26 15:06:06 +03:00