aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir
Commit message (Expand)AuthorAgeFilesLines
* profile type inferenceAleksey Kladov2019-05-213-3/+5
* profile implements queryAleksey Kladov2019-05-211-0/+2
* fix odrer-of-iteration bug in testsAleksey Kladov2019-05-212-7/+15
* sort hash maps for testsAleksey Kladov2019-05-214-211/+195
* Merge #1296bors[bot]2019-05-211-1/+1
|\
| * :arrow_up: instaAleksey Kladov2019-05-211-1/+1
* | add _query to query functionsAleksey Kladov2019-05-212-6/+6
|/
* remove minor code duplicationAleksey Kladov2019-05-202-20/+16
* simplifyAleksey Kladov2019-05-201-38/+39
* Use normal iteration instead of walk_mutEdwin Cheng2019-05-201-8/+5
* Add infer for generic default typeEdwin Cheng2019-05-194-15/+80
* Add default type to GenericParamEdwin Cheng2019-05-191-3/+10
* allow expanding expressionsAleksey Kladov2019-05-142-7/+8
* expand to syntax nodeAleksey Kladov2019-05-145-25/+32
* store macro kind in HirFileIdAleksey Kladov2019-05-144-21/+38
* Merge #1271bors[bot]2019-05-136-11/+15
|\
| * make AstId untypedAleksey Kladov2019-05-136-11/+15
* | Increase Chalk solver max_size back to 4Florian Diebold2019-05-131-1/+1
|/
* simplifyAleksey Kladov2019-05-124-33/+11
* simplifyAleksey Kladov2019-05-122-8/+7
* Use traits from prelude for method resolutionFlorian Diebold2019-05-123-14/+42
* Blacklist some traits from being considered in where clausesFlorian Diebold2019-05-122-7/+34
* Fix impl blocks with unresolved target trait being treated as inherent implsFlorian Diebold2019-05-121-5/+7
* Add support for inline boundsFlorian Diebold2019-05-112-16/+60
* Handle auto traits & negative implsFlorian Diebold2019-05-114-7/+37
* Reduce Chalk max_size parameter, add test for slow caseFlorian Diebold2019-05-113-3/+42
* Handle Chalk conversion for FnDefFlorian Diebold2019-05-113-2/+39
* Handle resolution errors in where clausesFlorian Diebold2019-05-112-15/+56
* Handle where clauses in trait solvingFlorian Diebold2019-05-116-29/+188
* Deduplicate impls in impls_for_traitFlorian Diebold2019-05-071-2/+3
* Add a HirDisplay implementation for TraitRefFlorian Diebold2019-05-071-0/+17
* Turn `implements` into a query againFlorian Diebold2019-05-075-8/+13
* fill struct fields diagnosticSergey Parilin2019-05-065-11/+133
* Merge #1208bors[bot]2019-05-042-5/+42
|\
| * Added local macro gotoLenard Pratt2019-05-042-5/+42
* | Differentiate Tuple / FnPtr type constructors by cardinalityFlorian Diebold2019-05-044-14/+24
* | Simplify subst / subst_bound_vars a bitFlorian Diebold2019-05-041-12/+2
* | Handle recursive types in canonicalizationFlorian Diebold2019-05-043-5/+15
* | Remove ToChalk implementation for ApplicationTyFlorian Diebold2019-05-041-29/+16
* | Make canonicalization API a bit nicerFlorian Diebold2019-05-042-31/+56
* | Update ChalkFlorian Diebold2019-05-043-11/+16
* | Turn eprintln!s into debug!sFlorian Diebold2019-05-042-8/+12
* | Handle Ty::Unknown in Chalk conversionFlorian Diebold2019-05-041-1/+5
* | Canonicalize before doing method resolutionFlorian Diebold2019-05-047-133/+165
* | Document the peculiarity of the solver query a bitFlorian Diebold2019-05-042-3/+10
* | Move Chalk conversion code to its own moduleFlorian Diebold2019-05-043-321/+339
* | Implement Deref<Target=[Ty]> for SubstsFlorian Diebold2019-05-042-18/+18
* | Simplify solution_from_chalkFlorian Diebold2019-05-041-12/+11
* | Chalk integrationFlorian Diebold2019-05-0413-147/+677
* | Add Ty::Bound variant for use in Chalk integrationFlorian Diebold2019-05-041-2/+7