aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer.rs
Commit message (Expand)AuthorAgeFilesLines
* Remove TraitItem and ImplItem in favor of AssocItemFlorian Diebold2019-09-171-14/+12
* Refactor some moreFlorian Diebold2019-09-171-39/+61
* Refactor associated item resolution moreFlorian Diebold2019-09-171-71/+54
* Refactor a bit to prepare for resolving trait assoc itemsFlorian Diebold2019-09-171-30/+27
* Merge #1817bors[bot]2019-09-161-75/+52
|\
| * Define known paths and group namesuHOOCCOOHu2019-09-151-25/+12
| * Support path starting with a typeuHOOCCOOHu2019-09-151-65/+55
* | Gracefully handle `const _` items in `ConstData`Dylan MacKenzie2019-09-161-1/+1
|/
* Upgrade ChalkFlorian Diebold2019-09-141-4/+0
* Specify desirable namespace when calling resolveAleksey Kladov2019-09-131-133/+123
* rename AdtDef -> AdtAleksey Kladov2019-09-121-7/+7
* make various enums "inherit" from AdtDefAleksey Kladov2019-09-121-3/+3
* start cleaning up the resolutionAleksey Kladov2019-09-121-35/+11
* Infer box expressionuHOOCCOOHu2019-09-111-0/+26
* cleanup hir db importsAleksey Kladov2019-09-081-3/+5
* Lower bounds on trait definition, and resolve assoc types from super traitsFlorian Diebold2019-09-071-3/+3
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-1/+1
* clearer ignoreAleksey Kladov2019-09-031-1/+1
* remove needless refsAleksey Kladov2019-09-031-2/+2
* use recrod terminology for hir::PatAleksey Kladov2019-09-031-2/+2
* Add an expr_source method analogous to the source methods in the code modelFlorian Diebold2019-09-021-2/+2
* Small fixesKirill Bulatov2019-08-261-12/+9
* Make infer_block not unify; add back calculate_least_upper_boundFlorian Diebold2019-08-261-20/+54
* An attempt to add the coercion logic for NeverKirill Bulatov2019-08-261-51/+40
* Properly coerce never typesKirill Bulatov2019-08-261-44/+46
* Remove extra inference testKirill Bulatov2019-08-261-1/+0
* Fix never in if expressionsKirill Bulatov2019-08-261-3/+10
* Add test marksKirill Bulatov2019-08-261-0/+5
* Fix match type inference for Never match armsKirill Bulatov2019-08-261-5/+31
* Add type_mismatches to InferenceResult and use this in ok-wrapping code fixPhil Ellison2019-08-251-1/+18
* rename struct -> record, pos -> tupleAleksey Kladov2019-08-231-6/+6
* implement initial type inference for index expressionsAleksey Kladov2019-08-171-0/+6
* Introduce separate hir::BinaryOpAleksey Kladov2019-08-171-3/+1
* Normalize assoc types in more placesFlorian Diebold2019-08-121-6/+21
* Normalize associated types during inferenceFlorian Diebold2019-08-121-1/+21
* provide completion in struct patternsEkaterina Babshukova2019-07-211-7/+15
* infer type for awaitUnreal Hoang2019-07-201-2/+40
* add await expr to astUnreal Hoang2019-07-201-0/+3
* Have InferenceContext contain an InferenceResult instead of duplicating all f...Florian Diebold2019-07-141-36/+19
* Some renamings for clarityFlorian Diebold2019-07-141-4/+4
* complete fields in enum variantsEkaterina Babshukova2019-07-121-0/+15
* Merge #1515bors[bot]2019-07-091-46/+23
|\
| * Unify `normalize` and `implements` to simplify codeFlorian Diebold2019-07-081-46/+18
| * Use environment for associated type normalization as wellFlorian Diebold2019-07-081-1/+2
| * Start handling environment in trait resolutionFlorian Diebold2019-07-081-5/+6
| * Refactor a bit & introduce Environment structFlorian Diebold2019-07-081-2/+5
* | use namespaced consts for KnownNameUnreal Hoang2019-07-081-12/+10
* | projection over std::ops::Try::Ok to infer try/?Unreal Hoang2019-07-081-2/+37
|/
* cargo formatMuhammad Mominul Huque2019-07-071-3/+3
* Constify KnownName'sMuhammad Mominul Huque2019-07-071-6/+7