aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests
Commit message (Expand)AuthorAgeFilesLines
* Merge #3385bors[bot]2020-03-021-0/+19
|\
| * Fix #3373Florian Diebold2020-03-011-0/+19
* | handle array pattern matching type inferenceJosh Mcguigan2020-03-011-0/+41
* | remove match statement, handle suffixJosh Mcguigan2020-03-011-2/+2
* | handle arbitrary length slicesJosh Mcguigan2020-03-011-9/+24
* | match single prefix sliceJosh Mcguigan2020-03-011-0/+33
|/
* Do autoderef for indexingFlorian Diebold2020-02-291-0/+28
* Do array unsizing for method receiversFlorian Diebold2020-02-291-0/+18
* Rename ast::ImplBlock -> ast::ImplDefAleksey Kladov2020-02-291-6/+6
* Fix a common false-positive type mismatchFlorian Diebold2020-02-291-0/+31
* Rework find_super_trait_path to protect against cyclesFlorian Diebold2020-02-221-0/+38
* Add &dyn Trait -> &dyn SuperTrait coercion, and fix &T -> &dyn TraitFlorian Diebold2020-02-221-14/+26
* Implement dyn Trait unsizing as wellFlorian Diebold2020-02-221-1/+7
* Implement unsize coercion using proper trait solvingFlorian Diebold2020-02-221-0/+82
* Fix handling of const patternsFlorian Diebold2020-02-211-1/+45
* Normalize associated types in types coming from ChalkFlorian Diebold2020-02-211-0/+42
* Exclude methods from non-parameter types introduced by generic constraintsLaurențiu Nicola2020-02-191-0/+23
* Fix coercion of &T to itselfFlorian Diebold2020-02-161-0/+22
* Merge #3147bors[bot]2020-02-141-0/+32
|\
| * Check that impl self type matches up with expected self type in path modeFlorian Diebold2020-02-141-0/+32
* | Make Self implement the trait inside trait default methodsFlorian Diebold2020-02-141-0/+48
|/
* Don't let unknown match arms fall back to !Florian Diebold2020-02-111-0/+17
* Add two more testsFlorian Diebold2020-02-071-0/+51
* Don't print implicit type args from impl TraitFlorian Diebold2020-02-071-11/+11
* Deal better with implicit type parameters and argument listsFlorian Diebold2020-02-071-0/+108
* Clean up RPIT a bitFlorian Diebold2020-02-071-13/+11
* Fix APIT some moreFlorian Diebold2020-02-071-23/+28
* Change Ty::Param to contain param IDFlorian Diebold2020-02-072-3/+2
* WIP use params for APITFlorian Diebold2020-02-071-0/+53
* Fix assoc type selectionFlorian Diebold2020-02-071-3/+3
* Fix another testFlorian Diebold2020-02-071-2/+2
* Fix enum constructorsFlorian Diebold2020-02-072-5/+5
* Fix printing of function typesFlorian Diebold2020-02-076-69/+69
* Lower impl trait to variables, move away from using placeholders where they d...Florian Diebold2020-02-071-1/+1
* wip implement lowering modeFlorian Diebold2020-02-071-20/+8
* Standard formatting for array typesAleksey Kladov2020-01-284-88/+88
* Ignore failing impl Trait testsFlorian Diebold2020-01-271-0/+2
* Fix inference for shift operatorsFlorian Diebold2020-01-171-0/+21
* Use dummy value for line! and column! macroEdwin Cheng2020-01-141-2/+2
* Fix various names, e.g. Iterator not resolving in core preludeFlorian Diebold2020-01-111-0/+54
* Add test for macro expansion in various expressionsFlorian Diebold2020-01-101-0/+81
* Expand PAREN_EXPR as expressionEdwin Cheng2020-01-101-0/+17
* Fix #2705Florian Diebold2020-01-031-0/+17
* Resolve traits in infer using lang item infrastructureEmil Lauridsen2019-12-292-0/+6
* Don't add non-impl/trait containers to scopeAleksey Kladov2019-12-292-1/+38
* Merge #2661bors[bot]2019-12-241-0/+57
|\
| * Implement infer await from async funcEdwin Cheng2019-12-241-0/+57
* | Filter out error predicates in type bounds as wellFlorian Diebold2019-12-221-0/+17
* | Introduce our own Chalk TypeFamily, instead of using ChalkIrFlorian Diebold2019-12-221-2/+2
|/
* Rudimentary name resolution for local itemsAleksey Kladov2019-12-221-6/+6