264 commits

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