aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer
Commit message (Expand)AuthorAgeFilesLines
* Fix substs in resolve_value_path for ImplSelfVincent Rouillé2020-06-191-1/+1
* Clean up handling of int/float literal typesFlorian Diebold2020-06-061-16/+12
* Fix type parameter defaultsFlorian Diebold2020-06-051-1/+2
* correctly infer labelled breaksrobojumper2020-05-311-16/+29
* Merge #4653bors[bot]2020-05-301-5/+11
|\
| * Fix match ergonomics in closure parametersFlorian Diebold2020-05-291-5/+11
* | Merge #4651bors[bot]2020-05-291-3/+1
|\ \ | |/ |/|
| * Use first match branch in case of type mismatch, not lastFlorian Diebold2020-05-291-3/+1
* | Support raw_ref_op's raw reference operatorrobojumper2020-05-281-14/+23
|/
* Switch to new magic marksAleksey Kladov2020-05-203-9/+9
* Apply suggestion of @flodiebold: Get rid of multiple unwrapsRoland Ruckerbauer2020-05-191-12/+10
* loop return value inference: coerce_merge branchesRoland Ruckerbauer2020-05-191-15/+23
* Infer return type of loops with value breaks.Roland Ruckerbauer2020-05-181-6/+15
* Handle `Self` in values and patternsFlorian Diebold2020-05-151-1/+34
* Handle coercing function types to function pointers in matchFlorian Diebold2020-05-081-11/+23
* Add diagnostic for break outside of loopFlorian Diebold2020-05-081-0/+4
* Handle break somewhat betterFlorian Diebold2020-05-081-2/+27
* Implement better handling of divergenceFlorian Diebold2020-05-081-14/+39
* Fix type of byte literalsFlorian Diebold2020-05-081-2/+2
* 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