aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer/unify.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix handling of binders in canonicalizationFlorian Diebold2020-02-221-64/+35
| | | | I'm looking forward to getting rid of this in favor of Chalk's implementation.
* Normalize associated types in types coming from ChalkFlorian Diebold2020-02-211-1/+4
| | | | Fixes #3232.
* More manual clippy fixesKirill Bulatov2020-02-181-3/+2
|
* 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