aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer
Commit message (Expand)AuthorAgeFilesLines
* infer: Add type inference support for Union typesOtavio Salvador2020-07-111-2/+9
* Clippy perf warningskjeremy2020-07-061-4/+2
* Implement Chalk variable kindsFlorian Diebold2020-07-011-15/+40
* Simlify with matches!()Veetaha2020-06-281-5/+1
* Rename Expr::UnsafeBlock to Expr::UnsafePaul Daniel Faria2020-06-271-1/+1
* Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe expr...Paul Daniel Faria2020-06-271-0/+1
* Infer type for slice wildcard patternsadamrk2020-06-251-2/+7
* Fix string literal inference in matchLaurențiu Nicola2020-06-241-13/+20
* Push obligation instead of matching on solutionadamrk2020-06-201-41/+36
* Get Output assoc type by nameadamrk2020-06-201-13/+3
* Fixes to callable_sig_from_fn_traitadamrk2020-06-201-65/+65
* Make get_fn_trait a method of FnTraitadamrk2020-06-201-2/+2
* Switch back callable_sig for known fn typesadamrk2020-06-202-4/+4
* Infer FnSig from Fn traitsadamrk2020-06-192-16/+92
* 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