aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer
Commit message (Expand)AuthorAgeFilesLines
* Revert "Merge #4233"Aleksey Kladov2020-05-021-0/+5
* Kill more zombiesAleksey Kladov2020-04-301-5/+0
* Rename StructField -> FieldAleksey Kladov2020-04-252-7/+5
* Fix goto definition for record patternsAleksey Kladov2020-04-181-0/+6
* Fix type equality for dyn TraitFlorian Diebold2020-04-172-5/+41
* Switch Chalk to recursive solverFlorian Diebold2020-04-161-0/+1
* handle tuple patterns with ellipsisJosh Mcguigan2020-04-131-3/+3
* add record pat missing field diagnosticJosh Mcguigan2020-04-101-1/+1
* missing match arms diagnosticJosh Mcguigan2020-04-072-3/+15
* Upgrade Chalk againFlorian Diebold2020-04-051-11/+17
* Add inference for literal and range patternsFlorian Diebold2020-04-011-2/+9
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-165-37/+35
* Resolve `Self::AssocTy` in implsFlorian Diebold2020-03-061-2/+2
*-. Merge #3397 #3398bors[bot]2020-03-021-6/+2
|\ \
| | * Reformat?Aleksey Kladov2020-03-021-6/+2
| |/
* | Merge #3385bors[bot]2020-03-021-3/+12
|\ \ | |/ |/|
| * Fix #3373Florian Diebold2020-03-011-3/+12
* | handle array pattern matching type inferenceJosh Mcguigan2020-03-011-10/+14
* | remove match statement, handle suffixJosh Mcguigan2020-03-011-12/+9
* | handle arbitrary length slicesJosh Mcguigan2020-03-011-3/+5
* | match single prefix sliceJosh Mcguigan2020-03-011-1/+15
|/
* Do autoderef for indexingFlorian Diebold2020-02-291-5/+21
* Fix a common false-positive type mismatchFlorian Diebold2020-02-291-4/+4
* Fix handling of binders in canonicalizationFlorian Diebold2020-02-221-64/+35
* Implement unsize coercion using proper trait solvingFlorian Diebold2020-02-221-179/+26
* Fix handling of const patternsFlorian Diebold2020-02-211-1/+3
* Normalize associated types in types coming from ChalkFlorian Diebold2020-02-211-1/+4
* More manual clippy fixesKirill Bulatov2020-02-183-18/+10
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-184-42/+35
* Fix coercion of &T to itselfFlorian Diebold2020-02-161-0/+2
* Don't let unknown match arms fall back to !Florian Diebold2020-02-111-1/+5
* Add or- and parenthesized-patternsMatthew Jasper2020-02-092-3/+13
* Fix some TODOsFlorian Diebold2020-02-071-1/+0
* Deal better with implicit type parameters and argument listsFlorian Diebold2020-02-071-3/+5
* FormattingFlorian Diebold2020-02-073-12/+5
* Clean up RPIT a bitFlorian Diebold2020-02-071-1/+0
* Use variables in predicates as wellFlorian Diebold2020-02-071-2/+2
* Comment fixes / todosFlorian Diebold2020-02-071-0/+1
* Change Ty::Param to contain param IDFlorian Diebold2020-02-073-15/+13
* Fix another testFlorian Diebold2020-02-071-5/+1
* Lower impl trait to variables, move away from using placeholders where they d...Florian Diebold2020-02-072-41/+20
* wip lower impl trait to type argsFlorian Diebold2020-02-071-2/+2
* Add impl trait lowering modeFlorian Diebold2020-02-071-5/+24
* Introduce TyLoweringContextFlorian Diebold2020-02-071-14/+11
* Fix inference for shift operatorsFlorian Diebold2020-01-171-2/+2
* Push resolver further upAleksey Kladov2020-01-142-8/+20
* Coerce closures to fn pointersFlorian Diebold2019-12-201-0/+4
* Fix coercion of last expression in function bodyFlorian Diebold2019-12-201-1/+1
* Handle closure return typesFlorian Diebold2019-12-201-3/+14
* Merge #2592bors[bot]2019-12-201-4/+8
|\