33 commits

Author	SHA1	Message	Date
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