aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
Commit message (Expand)AuthorAgeFilesLines
* Fix never in if expressionsKirill Bulatov2019-08-262-4/+51
* Add test marksKirill Bulatov2019-08-262-1/+11
* Fix match type inference for Never match armsKirill Bulatov2019-08-262-6/+32
* TestsKirill Bulatov2019-08-261-0/+104
* 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
* Improve/fix type bound loweringFlorian Diebold2019-08-221-0/+33
* Handle impl/dyn Trait in method resolutionFlorian Diebold2019-08-222-32/+66
* Add `impl Trait` and `dyn Trait` typesFlorian Diebold2019-08-223-12/+177
* Don't add `?` bounds as real boundsAleksey Kladov2019-08-221-0/+29
* implement initial type inference for index expressionsAleksey Kladov2019-08-172-0/+20
* normalize ordering opsAleksey Kladov2019-08-171-16/+16
* Introduce separate hir::BinaryOpAleksey Kladov2019-08-172-67/+21
* Merge #1691bors[bot]2019-08-161-0/+9
|\
| * show inherent and trait impls of structs and enumsEkaterina Babshukova2019-08-161-0/+9
* | implement durabilityAleksey Kladov2019-08-151-1/+1
* | switch from volatile to untracked readAleksey Kladov2019-08-151-17/+37
|/
* Handle placeholder assoc types when Chalk produces themFlorian Diebold2019-08-122-3/+67
* Normalize assoc types in more placesFlorian Diebold2019-08-122-12/+27
* Improve debug logging a bitFlorian Diebold2019-08-121-4/+4
* Normalize associated types during inferenceFlorian Diebold2019-08-123-9/+25
* Lower fully qualified associated type pathsFlorian Diebold2019-08-122-22/+80
* Add representations of associated typesFlorian Diebold2019-08-121-0/+23
* Add another test for assoc type resolutionFlorian Diebold2019-08-121-6/+46
* implement while let desugaringAleksey Kladov2019-08-071-0/+20
* do fixup: remove unused importEvgenii P2019-08-021-1/+1
* Relax trait solving more for completionEvgenii P2019-08-021-7/+1
* rustfmtEvgenii P2019-08-021-3/+9
* Implement completion for the .await syntaxEvgenii P2019-08-021-1/+15
* Move assist test, add literal type inference testPhil Ellison2019-07-291-11/+15
* Merge #1570bors[bot]2019-07-211-4/+2
|\
| * streamline APIAleksey Kladov2019-07-211-4/+2
* | provide completion in struct patternsEkaterina Babshukova2019-07-211-7/+15
|/
* Merge #1562bors[bot]2019-07-202-0/+76
|\
| * infer type for awaitUnreal Hoang2019-07-202-2/+75
| * add await expr to astUnreal Hoang2019-07-201-0/+3
* | rename range -> text_rangeAleksey Kladov2019-07-201-1/+1
|/
* migrate ra_hir to the new rowanAleksey Kladov2019-07-191-5/+5
* Switch to Chalk master, without fuelFlorian Diebold2019-07-151-1/+1
* Remove blacklist, instead mark `Sized` as non-enumerableFlorian Diebold2019-07-151-17/+3
* Cargo update, including updating ChalkFlorian Diebold2019-07-141-0/+2
* Have InferenceContext contain an InferenceResult instead of duplicating all f...Florian Diebold2019-07-141-36/+19
* Some renamings for clarityFlorian Diebold2019-07-146-19/+22
* complete fields in enum variantsEkaterina Babshukova2019-07-121-0/+15
* fix profile nameAleksey Kladov2019-07-091-1/+1
* Merge #1515bors[bot]2019-07-098-106/+281
|\
| * Unify `normalize` and `implements` to simplify codeFlorian Diebold2019-07-086-94/+62
| * Use environment for associated type normalization as wellFlorian Diebold2019-07-086-19/+51
| * Start handling environment in trait resolutionFlorian Diebold2019-07-086-14/+103
| * Refactor a bit & introduce Environment structFlorian Diebold2019-07-085-19/+105