aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer.rs
Commit message (Expand)AuthorAgeFilesLines
* Split up infer.rs furtherFlorian Diebold2019-10-121-1135/+18
* Address comments: fix docs, add completion test for `Self`.ice10002019-10-081-3/+1
* Support inferring `Self` type in enum definitionsice10002019-10-081-0/+3
* Handle divergence in type inference for blocksLaurențiu Nicola2019-10-021-2/+10
* Merge #1815bors[bot]2019-09-271-5/+4
|\
| * Refactor `Name` ready for hygienic macrouHOOCCOOHu2019-09-261-5/+4
* | Add SubstsBuilderFlorian Diebold2019-09-261-8/+7
|/
* Support all coercion placesuHOOCCOOHu2019-09-251-25/+57
* Support custom `CoerceUnsized`uHOOCCOOHu2019-09-251-26/+181
* Better handle never type and branch merginguHOOCCOOHu2019-09-251-60/+92
* Support basic implicit type coerceuHOOCCOOHu2019-09-251-86/+168
* Support auto-deref in argument positionuHOOCCOOHu2019-09-251-1/+43
* Remove redundant clone()Shotaro Yamada2019-09-251-2/+2
* Implement the call argument checking order hack for closuresFlorian Diebold2019-09-241-10/+26
* Make the closure_1 test workFlorian Diebold2019-09-241-0/+5
* Give closures typesFlorian Diebold2019-09-241-4/+18
* Split off path expression inference code into submoduleFlorian Diebold2019-09-231-172/+4
* 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