aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Add &dyn Trait -> &dyn SuperTrait coercion, and fix &T -> &dyn TraitFlorian Diebold2020-02-224-44/+132
* Fix handling of binders in canonicalizationFlorian Diebold2020-02-221-64/+35
* Implement dyn Trait unsizing as wellFlorian Diebold2020-02-225-9/+136
* Implement unsize coercion using proper trait solvingFlorian Diebold2020-02-225-187/+170
* Fix handling of const patternsFlorian Diebold2020-02-212-2/+48
* Normalize associated types in types coming from ChalkFlorian Diebold2020-02-212-1/+46
* Merge #3215bors[bot]2020-02-192-6/+34
|\
| * Exclude methods from non-parameter types introduced by generic constraintsLaurențiu Nicola2020-02-192-6/+34
* | Fill missing fields of enum variantsAleksey Kladov2020-02-191-7/+11
|/
* More manual clippy fixesKirill Bulatov2020-02-1812-54/+38
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-1810-76/+66
* Merge #3169bors[bot]2020-02-171-4/+5
|\
| * use 'if let' instead of match on kind in lower.rsadamrk2020-02-171-6/+4
| * replace uses of VariantData::is_unit with VariantData::kindadamrk2020-02-161-4/+7
* | Fix coercion of &T to itselfFlorian Diebold2020-02-162-0/+24
* | Extend analysis-stats a bitFlorian Diebold2020-02-151-0/+3
|/
* Merge #3147bors[bot]2020-02-143-0/+42
|\
| * Check that impl self type matches up with expected self type in path modeFlorian Diebold2020-02-143-0/+42
* | Make Self implement the trait inside trait default methodsFlorian Diebold2020-02-143-4/+77
|/
* Move hir_fmt code to display moduleFlorian Diebold2020-02-142-372/+376
* Rename Ty::Param => Ty::PlaceholderFlorian Diebold2020-02-143-11/+11
* Don't let unknown match arms fall back to !Florian Diebold2020-02-112-1/+22
* Add or- and parenthesized-patternsMatthew Jasper2020-02-092-3/+13
* Add two more testsFlorian Diebold2020-02-071-0/+51
* Fix some TODOsFlorian Diebold2020-02-073-11/+17
* Don't print implicit type args from impl TraitFlorian Diebold2020-02-072-14/+21
* Deal better with implicit type parameters and argument listsFlorian Diebold2020-02-074-26/+138
* FormattingFlorian Diebold2020-02-079-38/+82
* Clean up RPIT a bitFlorian Diebold2020-02-074-41/+13
* Fix compilation of other cratesFlorian Diebold2020-02-072-4/+10
* Use variables in predicates as wellFlorian Diebold2020-02-075-63/+52
* Comment fixes / todosFlorian Diebold2020-02-073-6/+8
* Fix APIT some moreFlorian Diebold2020-02-074-101/+115
* Fix APITFlorian Diebold2020-02-071-0/+2
* Change Ty::Param to contain param IDFlorian Diebold2020-02-0711-127/+136
* WIP use params for APITFlorian Diebold2020-02-073-1/+64
* Fix assoc type selectionFlorian Diebold2020-02-072-32/+43
* Fix another testFlorian Diebold2020-02-072-7/+3
* First stab at desugaring bounds for APITFlorian Diebold2020-02-072-6/+33
* Fix crashFlorian Diebold2020-02-071-4/+7
* Fix enum constructorsFlorian Diebold2020-02-073-11/+9
* Fix printing of function typesFlorian Diebold2020-02-077-72/+73
* Lower impl trait to variables, move away from using placeholders where they d...Florian Diebold2020-02-079-188/+220
* wip lower impl trait to type argsFlorian Diebold2020-02-074-4/+6
* wip implement lowering modeFlorian Diebold2020-02-072-26/+34
* Add impl trait lowering modeFlorian Diebold2020-02-074-32/+132
* Introduce TyLoweringContextFlorian Diebold2020-02-074-146/+130
* Standard formatting for array typesAleksey Kladov2020-01-285-89/+89
* Tweak Chalk settingsFlorian Diebold2020-01-271-2/+1
* Ignore failing impl Trait testsFlorian Diebold2020-01-271-0/+2