aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer/path.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix #2467Florian Diebold2019-12-031-1/+12
| | | | | 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)...
* Refactor a bitFlorian Diebold2019-12-021-35/+3
|
* Extract unification code to unify moduleFlorian Diebold2019-12-021-2/+2
|
* Handle cycles in impl types betterFlorian Diebold2019-11-301-1/+1
| | | | | | - 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
* Memoize impl resolutionsAleksey Kladov2019-11-271-6/+4
|
* Move TyAleksey Kladov2019-11-271-0/+270