aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer/unify.rs
Commit message (Collapse)AuthorAgeFilesLines
* Better handle never type and branch merginguHOOCCOOHu2019-09-251-0/+1
| | | | Split out tests for never type to another file
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-1/+1
| | | | | If/when we switch to using Chalk's Ty, we'll need to replace this by its `Fold` trait, but I didn't want to import the whole thing just yet.
* 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
| | | | | | This wasn't a right decision in the first place, the feature flag was broken in the last rustfmt release, and syntax highlighting of imports is more important anyway
* 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
- add proper canonicalization logic - add conversions from/to Chalk IR