aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer
Commit message (Collapse)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
| | | | | | 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