aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer.rs
Commit message (Expand)AuthorAgeFilesLines
* Lower bounds on trait definition, and resolve assoc types from super traitsFlorian Diebold2019-09-071-3/+3
* Make type walking infrastructure a bit nicerFlorian Diebold2019-09-031-1/+1
* clearer ignoreAleksey Kladov2019-09-031-1/+1
* remove needless refsAleksey Kladov2019-09-031-2/+2
* use recrod terminology for hir::PatAleksey Kladov2019-09-031-2/+2
* Add an expr_source method analogous to the source methods in the code modelFlorian Diebold2019-09-021-2/+2
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 10:38:19 +0100