aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
Commit message (Expand)AuthorAgeFilesLines
* 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
* Infer box expressionuHOOCCOOHu2019-09-112-0/+57
* Fix typouHOOCCOOHu2019-09-111-1/+1
* Merge #1795bors[bot]2019-09-091-0/+58
|\
| * StripuHOOCCOOHu2019-09-091-3/+0
| * Make macro scope a real name scopeuHOOCCOOHu2019-09-092-0/+61
* | modify testsNiko Matsakis2019-09-091-6/+6
* | also make "unknown" case non-enumerableNiko Matsakis2019-09-091-1/+1
* | make all traits non-enumerableNiko Matsakis2019-09-091-9/+1
|/
* Rename `textual_macro` -> `legacy_macro`uHOOCCOOHu2019-09-081-1/+1
* Resolve textual scoped macros inside itemuHOOCCOOHu2019-09-081-0/+35
* cleanup hir db importsAleksey Kladov2019-09-084-7/+11
* Fix crash for super trait cyclesFlorian Diebold2019-09-071-0/+21
* Fix Chalk environmentsFlorian Diebold2019-09-072-3/+4
* Use traits from where clauses for method resolutionFlorian Diebold2019-09-073-12/+32
* Lower `Fn(X, Y) -> Z` pathsFlorian Diebold2019-09-071-8/+8
* Lower bounds on trait definition, and resolve assoc types from super traitsFlorian Diebold2019-09-075-23/+26
* Add some more testsFlorian Diebold2019-09-071-0/+205
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-036-19/+9
* Properly format `impl Trait<Type = Foo>` typesFlorian Diebold2019-09-031-4/+4
* Add support for associated type bindings (`where Trait<Type = X>`)Florian Diebold2019-09-034-46/+135
* Add test for assoc type bindingsFlorian Diebold2019-09-031-0/+65
* Correctly build BodySourceMap for macro-expanded expressionsAleksey Kladov2019-09-031-8/+25
* 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
* fix hir for new block syntaxAleksey Kladov2019-09-021-1/+1
* Add an expr_source method analogous to the source methods in the code modelFlorian Diebold2019-09-021-2/+2
* :arrow_up: instaAleksey Kladov2019-08-291-1167/+1265
* Small fixesKirill Bulatov2019-08-261-12/+9
* Remove redundant testsKirill Bulatov2019-08-261-63/+5
* Make infer_block not unify; add back calculate_least_upper_boundFlorian Diebold2019-08-262-30/+66
* An attempt to add the coercion logic for NeverKirill Bulatov2019-08-262-51/+98