aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * Add std::ops::Index support for inferingEdwin Cheng2019-12-191-4/+8
* | Introduce `ContainerId`Aleksey Kladov2019-12-201-1/+1
* | Rename ContainerId -> AssocContainerIdAleksey Kladov2019-12-202-6/+6
* | Add body as a possible container for itemsAleksey Kladov2019-12-191-1/+1
* | Forbid <T>::foo syntax in mod pathsAleksey Kladov2019-12-181-2/+2
|/
* Handle impl Trait more correctlyFlorian Diebold2019-12-151-0/+1
* Use different types for path with and without genericsAleksey Kladov2019-12-141-12/+13
* Rename N! to name!Florian Diebold2019-12-131-2/+2
* Add macros for known names and pathsFlorian Diebold2019-12-131-2/+2
* Correctly infer - and ! using std::ops::{Neg,Not}Emil Lauridsen2019-12-131-21/+26
* Add helper for resolving associated type of trait in inferEmil Lauridsen2019-12-131-47/+7
* Fix coercion from &Foo to an inference variable in a referenceFlorian Diebold2019-12-081-1/+5