aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
...
| * Use core instead of std for builtin derive macrosEdwin Cheng2020-04-271-4/+4
* | For associated type shorthand (T::Item), use the substs from the where clauseFlorian Diebold2020-04-264-13/+119
|/
* Merge #4145bors[bot]2020-04-251-3/+2
|\
| * Fix panic in NoSuchField diagnosticAleksey Kladov2020-04-251-3/+2
* | add support for cfg feature attributes on expression #4063Benjamin Coenen2020-04-251-0/+32
|/
* Rename StructField -> FieldAleksey Kladov2020-04-256-27/+25
* 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-204-26/+161
* 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-161-2/+3
| |
| \
*-. \ 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-154-21/+139
|\ \ \ \ \ \
| | | * | | | 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-131-8/+10
| * | | | Nicer display of closures in Chalk logsFlorian Diebold2020-04-131-2/+22
| |/ / /
* | | | Merge #3963bors[bot]2020-04-151-13/+66
|\ \ \ \ | |_|_|/ |/| | |
| * | | Upgrade ChalkFlorian Diebold2020-04-131-13/+66
| |/ /
* / / 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