aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
Commit message (Expand)AuthorAgeFilesLines
* Canonicalize before doing method resolutionFlorian Diebold2019-05-045-132/+144
* Document the peculiarity of the solver query a bitFlorian Diebold2019-05-041-2/+4
* Move Chalk conversion code to its own moduleFlorian Diebold2019-05-042-275/+335
* Implement Deref<Target=[Ty]> for SubstsFlorian Diebold2019-05-041-1/+0
* Simplify solution_from_chalkFlorian Diebold2019-05-041-12/+11
* Chalk integrationFlorian Diebold2019-05-046-133/+533
* Introduced resolve_macro_call on resolverLenard Pratt2019-04-231-0/+26
* Add HIR for where clauses & ignore impls with where clauses in trait resolutionFlorian Diebold2019-04-212-3/+23
* Add a simple test for str method completionFlorian Diebold2019-04-201-0/+22
* lang_item_lookup is now a salsa query.Marco Groppo2019-04-191-6/+5
* New krate() method in Resolver.Marco Groppo2019-04-192-49/+33
* Initial support for lang items.Marco Groppo2019-04-192-29/+63
* RefactoringEdwin Cheng2019-04-171-51/+46
* Simpliy codeEdwin Cheng2019-04-171-60/+32
* Bug fix and add more commentsEdwin Cheng2019-04-171-22/+60
* Fix 1099Edwin Cheng2019-04-172-5/+109
* Refactor method candidate generation a bitFlorian Diebold2019-04-142-53/+138
* Extract generic_params method to a HasGenericParams traitFlorian Diebold2019-04-143-9/+14
* Make callable signature handling a bit nicerFlorian Diebold2019-04-141-47/+14
* Some cleanupFlorian Diebold2019-04-143-98/+111
* More trait infrastructureFlorian Diebold2019-04-145-43/+260
* Get substs for trait refs in impl blocksFlorian Diebold2019-04-142-27/+74
* replace usages of `algo::generate` with `iter::successors` from stdRobin Freyler2019-04-131-2/+2
* make resolver privateAleksey Kladov2019-04-131-1/+1
* simplifyAleksey Kladov2019-04-121-11/+12
* simplify testsAleksey Kladov2019-04-121-26/+13
* type-safer source-map for bindingsAleksey Kladov2019-04-101-1/+1
* Avoid two-phase borrow conflictLaurențiu Nicola2019-04-081-2/+2
* updated snapshotsLenard Pratt2019-04-072-69/+41
* Added ArrayExprKind,Lenard Pratt2019-04-071-13/+17
* Added inference of array lengthLenard Pratt2019-04-072-1/+38
* Parse and infer tuple indicesrobojumper2019-04-061-0/+59
* Merge #1076bors[bot]2019-04-022-10/+71
|\
| * Added const bodies and static body to the astLenard Pratt2019-04-022-10/+71
* | switch to new rowanAleksey Kladov2019-04-011-8/+6
|/
* Clean up comments / use nicer Iterator methodsFlorian Diebold2019-03-251-9/+14
* Implement a very naive implements checkFlorian Diebold2019-03-252-7/+27
* Basics for trait method resolutionFlorian Diebold2019-03-253-21/+54
* test diagnosticsAleksey Kladov2019-03-251-0/+24
* cleanupAleksey Kladov2019-03-251-4/+4
* switch modules to new diagnosticsAleksey Kladov2019-03-251-4/+9
* allow dyn diagnosticsAleksey Kladov2019-03-251-6/+33
* diagnosticsAleksey Kladov2019-03-251-3/+20
* Fix apply_substs assertion failureFlorian Diebold2019-03-232-2/+25
* replace todo with fixmeAleksey Kladov2019-03-234-28/+28
* Refactor primitive types into more orthogonal representationyanchith2019-03-223-140/+149
* Assert in apply_substs that the number of parameters doesn't changeFlorian Diebold2019-03-211-1/+1
* Rename name field to ctor as wellFlorian Diebold2019-03-213-14/+14
* TypeName => TypeCtorFlorian Diebold2019-03-214-70/+70
* Remove the old variants replaced by Ty::ApplyFlorian Diebold2019-03-214-152/+194