aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/tests.rs
Commit message (Expand)AuthorAgeFilesLines
* Fix crash for super trait cyclesFlorian Diebold2019-09-071-0/+21
* Fix Chalk environmentsFlorian Diebold2019-09-071-2/+2
* Use traits from where clauses for method resolutionFlorian Diebold2019-09-071-11/+10
* Lower `Fn(X, Y) -> Z` pathsFlorian Diebold2019-09-071-8/+8
* Lower bounds on trait definition, and resolve assoc types from super traitsFlorian Diebold2019-09-071-5/+5
* Add some more testsFlorian Diebold2019-09-071-0/+205
* Properly format `impl Trait<Type = Foo>` typesFlorian Diebold2019-09-031-4/+4
* Add support for associated type bindings (`where Trait<Type = X>`)Florian Diebold2019-09-031-18/+44
* Add test for assoc type bindingsFlorian Diebold2019-09-031-0/+65
* Correctly build BodySourceMap for macro-expanded expressionsAleksey Kladov2019-09-031-8/+25
* fix hir for new block syntaxAleksey Kladov2019-09-021-1/+1
* :arrow_up: instaAleksey Kladov2019-08-291-1167/+1265
* Remove redundant testsKirill Bulatov2019-08-261-63/+5
* Make infer_block not unify; add back calculate_least_upper_boundFlorian Diebold2019-08-261-10/+12
* An attempt to add the coercion logic for NeverKirill Bulatov2019-08-261-0/+58
* Properly coerce never typesKirill Bulatov2019-08-261-7/+0
* Remove extra inference testKirill Bulatov2019-08-261-24/+0
* Fix never in if expressionsKirill Bulatov2019-08-261-1/+41
* Add test marksKirill Bulatov2019-08-261-1/+6
* Fix match type inference for Never match armsKirill Bulatov2019-08-261-1/+1
* TestsKirill Bulatov2019-08-261-0/+104
* Improve/fix type bound loweringFlorian Diebold2019-08-221-0/+33
* Handle impl/dyn Trait in method resolutionFlorian Diebold2019-08-221-30/+52
* Add `impl Trait` and `dyn Trait` typesFlorian Diebold2019-08-221-0/+120
* Don't add `?` bounds as real boundsAleksey Kladov2019-08-221-0/+29
* implement initial type inference for index expressionsAleksey Kladov2019-08-171-0/+14
* Handle placeholder assoc types when Chalk produces themFlorian Diebold2019-08-121-0/+49
* Normalize assoc types in more placesFlorian Diebold2019-08-121-6/+6
* Lower fully qualified associated type pathsFlorian Diebold2019-08-121-7/+7
* Add another test for assoc type resolutionFlorian Diebold2019-08-121-6/+46
* implement while let desugaringAleksey Kladov2019-08-071-0/+20
* Move assist test, add literal type inference testPhil Ellison2019-07-291-11/+15
* streamline APIAleksey Kladov2019-07-211-4/+2
* Merge #1562bors[bot]2019-07-201-0/+35
|\
| * infer type for awaitUnreal Hoang2019-07-201-0/+35
* | rename range -> text_rangeAleksey Kladov2019-07-201-1/+1
|/
* migrate ra_hir to the new rowanAleksey Kladov2019-07-191-5/+5
* Merge #1515bors[bot]2019-07-091-0/+79
|\
| * Use environment for associated type normalization as wellFlorian Diebold2019-07-081-0/+19
| * Start handling environment in trait resolutionFlorian Diebold2019-07-081-0/+60
* | beautify testsUnreal Hoang2019-07-091-20/+36
* | projection over std::ops::Try::Ok to infer try/?Unreal Hoang2019-07-081-0/+37
|/
* add projection to infer for loop variableUnreal Hoang2019-07-071-0/+36
* Add trait obligations for where clauses when calling functions/methodsFlorian Diebold2019-07-061-21/+113
* allow rustfmt to reorder importsAleksey Kladov2019-07-041-7/+8
* Add test for autoderef infinite recursionFlorian Diebold2019-06-161-0/+25
* Simplifications / cleanup from reviewFlorian Diebold2019-06-161-1/+0
* Somewhat handle variables in the derefed type, and add another testFlorian Diebold2019-06-151-0/+31
* Add test for DerefFlorian Diebold2019-06-151-0/+29
* remove some hacks from nameresolution for macrosAleksey Kladov2019-06-081-2/+4