aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Add testEdwin Cheng2020-03-031-0/+19
* Drop larlpop-intern depLaurențiu Nicola2020-03-031-2/+2
* Update chalk for Ty internersLaurențiu Nicola2020-03-021-8/+11
* Update chalk for RawId removalLaurențiu Nicola2020-03-021-13/+7
*-. Merge #3397 #3398bors[bot]2020-03-021-6/+2
|\ \
| | * Reformat?Aleksey Kladov2020-03-021-6/+2
| |/
* | Merge #3385bors[bot]2020-03-024-6/+45
|\ \ | |/ |/|
| * Fix #3373Florian Diebold2020-03-014-6/+45
* | handle array pattern matching type inferenceJosh Mcguigan2020-03-012-10/+55
* | remove match statement, handle suffixJosh Mcguigan2020-03-012-14/+11
* | handle arbitrary length slicesJosh Mcguigan2020-03-012-12/+29
* | match single prefix sliceJosh Mcguigan2020-03-012-1/+48
|/
* Do autoderef for indexingFlorian Diebold2020-02-294-7/+74
* Do array unsizing for method receiversFlorian Diebold2020-02-292-2/+37
* Rename ast::ImplBlock -> ast::ImplDefAleksey Kladov2020-02-296-29/+28
* Fix a common false-positive type mismatchFlorian Diebold2020-02-293-9/+71
* Basic injectionsAleksey Kladov2020-02-271-2/+2
* Bump chalk and replace TypeFamily with InternerLaurențiu Nicola2020-02-242-56/+65
* Shorten some codeFlorian Diebold2020-02-221-4/+1
* Rework find_super_trait_path to protect against cyclesFlorian Diebold2020-02-225-23/+74
* Fix shift_bound_varsFlorian Diebold2020-02-221-3/+3
* Fix wrong handling of bare `dyn Trait` exposed by canonicalizer fixFlorian Diebold2020-02-221-1/+3
* 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