aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty
Commit message (Expand)AuthorAgeFilesLines
* Convert tests to text-sizeAleksey Kladov2020-04-257-2192/+2192
* Convert code to text-sizeAleksey Kladov2020-04-251-2/+2
* Merge #4106bors[bot]2020-04-232-1/+42
|\
| * Fix wrong substitution codeFlorian Diebold2020-04-232-1/+42
* | Fully get rid of SyntaxNodePtr::rangeAleksey Kladov2020-04-231-20/+32
|/
* Update Chalk, and cache Chalk env elaboration through a queryFlorian Diebold2020-04-205-29/+164
* Correctly infer types in guard expressionsAleksey Kladov2020-04-181-0/+26
* Fix goto definition for record patternsAleksey Kladov2020-04-182-0/+10
* missing match arm diagnostic support enum record typeJosh Mcguigan2020-04-182-41/+331
* Merge #4023bors[bot]2020-04-184-27/+92
|\
| * Fix another crash from wrong bindersFlorian Diebold2020-04-174-27/+92
* | Fix type equality for dyn TraitFlorian Diebold2020-04-173-5/+65
* | Add two more tests for associated typesFlorian Diebold2020-04-171-0/+174
* | Merge #4012bors[bot]2020-04-171-0/+49
|\ \
| * | fix panic on ellipsis in patternJosh Mcguigan2020-04-171-0/+49
| |/
* | Simplify Diagnostic structureAleksey Kladov2020-04-173-42/+5
* | Correctly highlight ranges of diagnostics from macrosAleksey Kladov2020-04-171-11/+11
* | Don't expose impl details of SyntaxPtrAleksey Kladov2020-04-173-6/+43
|/
* Merge #3979bors[bot]2020-04-163-3/+51
|\
| * fix false positive for enum with no variantsJosh Mcguigan2020-04-163-3/+51
* | Test for non-working proc macro server assoc typesFlorian Diebold2020-04-161-0/+68
* | Switch Chalk to recursive solverFlorian Diebold2020-04-165-40/+53
* | Update ChalkFlorian Diebold2020-04-162-5/+6
| |
| \
*-. \ Merge #3966 #3968bors[bot]2020-04-153-7/+99
|\ \ \
| * | | Add support for bounds on associated types in trait definitionsFlorian Diebold2020-04-133-7/+99
| | | |
| \ \ \
| \ \ \
| \ \ \
*---. \ \ \ Merge #3964 #3965 #3967bors[bot]2020-04-155-21/+140
|\ \ \ \ \ \
| | | * | | | Handle `Self::Type` in trait definitions when referring to own associated typeFlorian Diebold2020-04-133-5/+38
| | | |/ / /
| | * / / / Implement inline associated type boundsFlorian Diebold2020-04-132-6/+69
| | |/ / /
| * | | | Nicer display of projections in Chalk logsFlorian Diebold2020-04-132-8/+11
| * | | | Nicer display of closures in Chalk logsFlorian Diebold2020-04-131-2/+22
| |/ / /
* | | | Merge #3963bors[bot]2020-04-152-16/+69
|\ \ \ \
| * | | | Upgrade ChalkFlorian Diebold2020-04-132-16/+69
| |/ / /
* | | / insta 0.16kjeremy2020-04-141-1/+1
| |_|/ |/| |
* | | handle tuple patterns with ellipsisJosh Mcguigan2020-04-132-50/+116
|/ /
* | Merge #3938bors[bot]2020-04-122-12/+253
|\ \
| * | missing match arm add test cases to demonstrate enum tuple struct with ellips...Josh Mcguigan2020-04-121-0/+64
| * | missing match arms add test cases to demonstrate behavior of tuple with patternJosh Mcguigan2020-04-121-0/+75
| * | missing match arm add test for partially diverging typeJosh Mcguigan2020-04-111-0/+21
| * | missing match arms add tests for match expression divergingJosh Mcguigan2020-04-111-0/+77
| * | fix match arm false positiveJosh Mcguigan2020-04-112-12/+16
| |/
* | Align grammar for record patterns and literalsAleksey Kladov2020-04-111-1/+2
* | Merge #3951bors[bot]2020-04-112-33/+26
|\ \
| * | Remove dead codeAleksey Kladov2020-04-112-33/+26
| |/
* / Look up impls by self typeFlorian Diebold2020-04-114-14/+65
|/
* Forward compatAleksey Kladov2020-04-103-9/+9
* Add failing testAleksey Kladov2020-04-101-2/+29
* Merge #3905bors[bot]2020-04-104-28/+149
|\
| * add record pat missing field diagnosticJosh Mcguigan2020-04-104-28/+149
* | Implement Chalk's debug methods using TLSFlorian Diebold2020-04-105-56/+297
|/
* Simpler acessors for keywordsAleksey Kladov2020-04-091-2/+2