aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer.rs
Commit message (Expand)AuthorAgeFilesLines
...
* Small fixesKirill Bulatov2019-08-261-12/+9
* Make infer_block not unify; add back calculate_least_upper_boundFlorian Diebold2019-08-261-20/+54
* An attempt to add the coercion logic for NeverKirill Bulatov2019-08-261-51/+40
* Properly coerce never typesKirill Bulatov2019-08-261-44/+46
* Remove extra inference testKirill Bulatov2019-08-261-1/+0
* Fix never in if expressionsKirill Bulatov2019-08-261-3/+10
* Add test marksKirill Bulatov2019-08-261-0/+5
* Fix match type inference for Never match armsKirill Bulatov2019-08-261-5/+31
* Add type_mismatches to InferenceResult and use this in ok-wrapping code fixPhil Ellison2019-08-251-1/+18
* rename struct -> record, pos -> tupleAleksey Kladov2019-08-231-6/+6
* implement initial type inference for index expressionsAleksey Kladov2019-08-171-0/+6
* Introduce separate hir::BinaryOpAleksey Kladov2019-08-171-3/+1
* Normalize assoc types in more placesFlorian Diebold2019-08-121-6/+21
* Normalize associated types during inferenceFlorian Diebold2019-08-121-1/+21
* provide completion in struct patternsEkaterina Babshukova2019-07-211-7/+15
* infer type for awaitUnreal Hoang2019-07-201-2/+40
* add await expr to astUnreal Hoang2019-07-201-0/+3
* Have InferenceContext contain an InferenceResult instead of duplicating all f...Florian Diebold2019-07-141-36/+19
* Some renamings for clarityFlorian Diebold2019-07-141-4/+4
* complete fields in enum variantsEkaterina Babshukova2019-07-121-0/+15
* Merge #1515bors[bot]2019-07-091-46/+23
|\
| * Unify `normalize` and `implements` to simplify codeFlorian Diebold2019-07-081-46/+18
| * Use environment for associated type normalization as wellFlorian Diebold2019-07-081-1/+2
| * Start handling environment in trait resolutionFlorian Diebold2019-07-081-5/+6
| * Refactor a bit & introduce Environment structFlorian Diebold2019-07-081-2/+5
* | use namespaced consts for KnownNameUnreal Hoang2019-07-081-12/+10
* | projection over std::ops::Try::Ok to infer try/?Unreal Hoang2019-07-081-2/+37
|/
* cargo formatMuhammad Mominul Huque2019-07-071-3/+3
* Constify KnownName'sMuhammad Mominul Huque2019-07-071-6/+7
* add projection to infer for loop variableUnreal Hoang2019-07-071-33/+91
* Make EnumVariant a GenericDef and simplify some codeFlorian Diebold2019-07-061-6/+1
* Add trait obligations for where clauses when calling functions/methodsFlorian Diebold2019-07-061-2/+13
* Clippy trivially_copy_pass_by_refJeremy Kolb2019-07-051-2/+2
* Merge #1491bors[bot]2019-07-051-1/+1
|\
| * Clippy changesJeremy Kolb2019-07-051-1/+1
* | Fix clippy::redundant_cloneShotaro Yamada2019-07-051-2/+1
|/
* Some clippy fixes for 1.36Jeremy Kolb2019-07-041-8/+6
* allow rustfmt to reorder importsAleksey Kladov2019-07-041-20/+19
* rename XSignature -> XDataAleksey Kladov2019-06-181-13/+12
* Implement * operation using Deref traitFlorian Diebold2019-06-151-3/+5
* Implement autoderef using the Deref traitFlorian Diebold2019-06-151-19/+21
* check for cancellation when executing queriesAleksey Kladov2019-06-121-1/+0
* remove inherent source implsAleksey Kladov2019-06-111-1/+1
* use Source for FunctionAleksey Kladov2019-06-111-1/+1
* somewhat better nameAleksey Kladov2019-06-081-17/+20
* [#1083] Try block syntax: fix testsAndrey Tkachenko2019-06-061-1/+0
* [#1083] Try block syntaxAndrey Tkachenko2019-06-061-0/+6
* Fix clippy::or_fun_callAlan Du2019-06-041-1/+1
* Fix clippy::identity_conversionAlan Du2019-06-041-3/+3
* Fix clippy::into_iter_on_refAlan Du2019-06-041-1/+1