aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer/unify.rs
Commit message (Collapse)AuthorAgeFilesLines
* Handle recursive types in canonicalizationFlorian Diebold2019-05-041-3/+13
|
* Make canonicalization API a bit nicerFlorian Diebold2019-05-041-16/+40
|
* Canonicalize before doing method resolutionFlorian Diebold2019-05-041-8/+16
|
* Implement Deref<Target=[Ty]> for SubstsFlorian Diebold2019-05-041-1/+0
|
* Chalk integrationFlorian Diebold2019-05-041-0/+81
- add proper canonicalization logic - add conversions from/to Chalk IR