15 commits

Author	SHA1	Message	Date
Florian Diebold	16c6937447	Lower impl trait to variables, move away from using placeholders where they don't belong	2020-02-07 18:28:10 +01:00
Florian Diebold	7ea4bce1b2	Add impl trait lowering mode	2020-02-07 18:28:10 +01:00
Florian Diebold	22a65b11b3	Introduce TyLoweringContext	2020-02-07 18:28:10 +01:00
Aleksey Kladov	21c5fd8b1b	Push resolver further up	2020-01-14 14:24:03 +01:00
Aleksey Kladov	94ad07af4b	Introduce ContainerId	2019-12-20 12:07:23 +01:00
Aleksey Kladov	8fc20b6503	Rename ContainerId -> AssocContainerId	2019-12-20 12:00:05 +01:00
Aleksey Kladov	ba12e83c26	Add body as a possible container for items	2019-12-19 18:12:46 +01:00
Aleksey Kladov	04715cbe1c	Forbid <T>::foo syntax in mod paths	2019-12-18 17:41:33 +01:00
Aleksey Kladov	2619950b3b	Use different types for path with and without generics	2019-12-14 19:15:40 +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	cfa50df33e	Refactor a bit	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	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/infer/path.rs (Browse further)