aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer/unify.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix coercion of &T to itselfFlorian Diebold2020-02-161-0/+2
| | | | | The autoderef coercion logic did not handle matching placeholders. This led to some type mismatches.
* Fix #2467Florian Diebold2019-12-031-2/+2
| | | | | 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)...
* Check receiver type properlyFlorian Diebold2019-12-021-8/+12
|
* Extract unification code to unify moduleFlorian Diebold2019-12-021-6/+266
|
* Move TyAleksey Kladov2019-11-271-0/+162