aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer/unify.rs
Commit message (Expand)AuthorAgeFilesLines
* Refactor a bit & introduce Environment structFlorian Diebold2019-07-081-4/+16
* add projection to infer for loop variableUnreal Hoang2019-07-071-1/+28
* Some clippy fixes for 1.36Jeremy Kolb2019-07-041-2/+2
* allow rustfmt to reorder importsAleksey Kladov2019-07-041-2/+2
* Fix crash with int vars in canonicalizationFlorian Diebold2019-05-211-1/+6
* 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