aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer/expr.rs
Commit message (Expand)AuthorAgeFilesLines
* Rename ra_syntax -> syntaxAleksey Kladov2020-08-121-1/+1
* Align CallableDefId naming with other idsAleksey Kladov2020-07-161-3/+3
* Thread varargs through r-aJonas Schievink2020-07-141-1/+1
* infer: Add type inference support for Union typesOtavio Salvador2020-07-111-2/+9
* Clippy perf warningskjeremy2020-07-061-4/+2
* 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
* 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-201-1/+1
* Infer FnSig from Fn traitsadamrk2020-06-191-13/+89
* Clean up handling of int/float literal typesFlorian Diebold2020-06-061-16/+12
* correctly infer labelled breaksrobojumper2020-05-311-16/+29
* Fix match ergonomics in closure parametersFlorian Diebold2020-05-291-5/+11
* Support raw_ref_op's raw reference operatorrobojumper2020-05-281-14/+23
* 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
* 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-251-5/+3
* Use `dyn Trait` for working with databseAleksey Kladov2020-03-161-11/+12
* Do autoderef for indexingFlorian Diebold2020-02-291-5/+21
* Fix a common false-positive type mismatchFlorian Diebold2020-02-291-4/+4
* More manual clippy fixesKirill Bulatov2020-02-181-11/+5
* Run cargo +nightly fix --clippy -Z unstable-optionsKirill Bulatov2020-02-181-13/+7
* Don't let unknown match arms fall back to !Florian Diebold2020-02-111-1/+5
* Add or- and parenthesized-patternsMatthew Jasper2020-02-091-3/+1
* 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-071-2/+2
* 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-071-3/+2
* Lower impl trait to variables, move away from using placeholders where they d...Florian Diebold2020-02-071-3/+3
* wip lower impl trait to type argsFlorian Diebold2020-02-071-2/+2
* Fix inference for shift operatorsFlorian Diebold2020-01-171-2/+2
* Push resolver further upAleksey Kladov2020-01-141-6/+13
* 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