aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
Commit message (Expand)AuthorAgeFilesLines
* Handle divergence in type inference for blocksLaurențiu Nicola2019-10-022-3/+72
* Merge branch 'master' into feature/issue/1856Alexander Andreev2019-09-301-3/+9
|\
| * correctly reset chalk state after a panicAleksey Kladov2019-09-281-6/+9
| * replace horrible hack with a slightly less horrible oneAleksey Kladov2019-09-271-0/+3
* | Added test for check doc strings in crates.Alexander Andreev2019-09-303-0/+6
|/
* Merge #1815bors[bot]2019-09-272-5/+37
|\
| * Support `$crate` in item and expr place.uHOOCCOOHu2019-09-261-0/+33
| * Refactor `Name` ready for hygienic macrouHOOCCOOHu2019-09-261-5/+4
* | Add SubstsBuilderFlorian Diebold2019-09-268-116/+66
|/
* Support all coercion placesuHOOCCOOHu2019-09-253-96/+216
* Support custom `CoerceUnsized`uHOOCCOOHu2019-09-254-247/+476
* Better handle never type and branch merginguHOOCCOOHu2019-09-254-181/+391
* Support basic implicit type coerceuHOOCCOOHu2019-09-252-142/+383
* Support auto-deref in argument positionuHOOCCOOHu2019-09-252-1/+161
* Resolve trait associated itemsFlorian Diebold2019-09-253-13/+59
* Fix retrieval of the Fn traitsFlorian Diebold2019-09-251-3/+2
* Merge #1906bors[bot]2019-09-251-2/+5
|\
| * Add missing lang-items to `def_crates`Shotaro Yamada2019-09-251-2/+5
* | Remove redundant clone()Shotaro Yamada2019-09-252-3/+3
|/
* Implement the call argument checking order hack for closuresFlorian Diebold2019-09-243-12/+108
* Make the closure_1 test workFlorian Diebold2019-09-243-27/+40
* Make closures impl closure traitsFlorian Diebold2019-09-243-38/+185
* Give closures typesFlorian Diebold2019-09-243-20/+36
* Upgrade Chalk againFlorian Diebold2019-09-241-3/+6
* Upgrade ChalkFlorian Diebold2019-09-231-4/+6
* Split off path expression inference code into submoduleFlorian Diebold2019-09-232-172/+199
* Handle projection types from ChalkFlorian Diebold2019-09-221-1/+5
* Handle associated type shorthand (`T::Item`)Florian Diebold2019-09-222-17/+144
* account for impls generated by macrosAleksey Kladov2019-09-181-0/+17
* Remove assoc type selection code for now to fix crashesFlorian Diebold2019-09-172-25/+10
* Add test for `T::Item` cyclesFlorian Diebold2019-09-171-0/+42
* Remove TraitItem and ImplItem in favor of AssocItemFlorian Diebold2019-09-173-23/+20
* Small review improvementsFlorian Diebold2019-09-171-5/+3
* Add test for `<T>::Item`Florian Diebold2019-09-171-10/+22
* Refactor some moreFlorian Diebold2019-09-172-49/+85
* Refactor associated item resolution moreFlorian Diebold2019-09-172-124/+120
* Refactor a bit to prepare for resolving trait assoc itemsFlorian Diebold2019-09-171-30/+27
* Resolve assoc types on type parametersFlorian Diebold2019-09-172-24/+61
* Adapt some testsFlorian Diebold2019-09-171-12/+12
* Merge #1817bors[bot]2019-09-163-76/+111
|\
| * Define known paths and group namesuHOOCCOOHu2019-09-152-26/+13
| * Support path starting with a typeuHOOCCOOHu2019-09-152-65/+113
* | Gracefully handle `const _` items in `ConstData`Dylan MacKenzie2019-09-161-1/+1
|/
* Support bare `Trait` without dynFlorian Diebold2019-09-142-12/+11
* Upgrade ChalkFlorian Diebold2019-09-142-13/+0
* Specify desirable namespace when calling resolveAleksey Kladov2019-09-132-188/+176
* rename AdtDef -> AdtAleksey Kladov2019-09-122-20/+18
* generalize impl_froms to nested enumsAleksey Kladov2019-09-121-19/+9
* make various enums "inherit" from AdtDefAleksey Kladov2019-09-122-32/+32
* start cleaning up the resolutionAleksey Kladov2019-09-122-36/+12