aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer/unify.rs
Commit message (Expand)AuthorAgeFilesLines
* Bump depsLaurențiu Nicola2019-10-171-1/+3
* make_mut_sliceShotaro Yamada2019-10-141-11/+7
* Avoid cloning `Arc<[T]>` into a vec if possibleShotaro Yamada2019-10-141-8/+15
* Add SubstsBuilderFlorian Diebold2019-09-261-15/+9
* Better handle never type and branch merginguHOOCCOOHu2019-09-251-0/+1
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-1/+1
* Unify `normalize` and `implements` to simplify codeFlorian Diebold2019-07-081-20/+12
* Use environment for associated type normalization as wellFlorian Diebold2019-07-081-4/+8
* 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