10 commits

Author	SHA1	Message	Date
Aleksey Kladov	f42697e54b	Support for nested traits	2019-12-20 12:29:25 +01:00
Aleksey Kladov	8fc20b6503	Rename ContainerId -> AssocContainerId	2019-12-20 12:00:05 +01:00
Aleksey Kladov	82e9b24558	Move traits to the new loc	2019-12-12 14:36:14 +01:00
Aleksey Kladov	7b0644d81e	Switch to the new location for impls	2019-12-12 14:25:34 +01:00
Aleksey Kladov	d6c2b92409	Refactor parameter count tracking	2019-12-07 13:13:00 +01:00
Aleksey Kladov	8e9837df21	Remove idx and parent generics from generics ... This makes `hir_def::GenericParams` flatter. The logic for re-numbering the params is moved to hir instead.	2019-12-07 13:05:56 +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	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
Aleksey Kladov	8d34696826	Memoize impl resolutions	2019-11-27 22:12:09 +03:00
Aleksey Kladov	a87579500a	Move Ty	2019-11-27 21:16:00 +03:00

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