aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/tests.rs
Commit message (Expand)AuthorAgeFilesLines
* Handle divergence in type inference for blocksLaurențiu Nicola2019-10-021-1/+62
* Merge #1815bors[bot]2019-09-271-0/+33
|\
| * Support `$crate` in item and expr place.uHOOCCOOHu2019-09-261-0/+33
* | Add SubstsBuilderFlorian Diebold2019-09-261-1/+0
|/
* Support all coercion placesuHOOCCOOHu2019-09-251-65/+62
* Support custom `CoerceUnsized`uHOOCCOOHu2019-09-251-197/+5
* Better handle never type and branch merginguHOOCCOOHu2019-09-251-121/+40
* Support basic implicit type coerceuHOOCCOOHu2019-09-251-56/+215
* Support auto-deref in argument positionuHOOCCOOHu2019-09-251-0/+118
* Resolve trait associated itemsFlorian Diebold2019-09-251-8/+7
* Implement the call argument checking order hack for closuresFlorian Diebold2019-09-241-0/+80
* Make the closure_1 test workFlorian Diebold2019-09-241-27/+27
* Make closures impl closure traitsFlorian Diebold2019-09-241-27/+28
* Give closures typesFlorian Diebold2019-09-241-16/+14
* Handle associated type shorthand (`T::Item`)Florian Diebold2019-09-221-8/+56
* account for impls generated by macrosAleksey Kladov2019-09-181-0/+17
* Remove assoc type selection code for now to fix crashesFlorian Diebold2019-09-171-6/+6
* Add test for `T::Item` cyclesFlorian Diebold2019-09-171-0/+42
* Add test for `<T>::Item`Florian Diebold2019-09-171-10/+22
* Resolve assoc types on type parametersFlorian Diebold2019-09-171-3/+3
* Adapt some testsFlorian Diebold2019-09-171-12/+12
* Support path starting with a typeuHOOCCOOHu2019-09-151-0/+58
* Support bare `Trait` without dynFlorian Diebold2019-09-141-10/+10
* Infer box expressionuHOOCCOOHu2019-09-111-0/+31
* Fix typouHOOCCOOHu2019-09-111-1/+1
* Merge #1795bors[bot]2019-09-091-0/+58
|\
| * Make macro scope a real name scopeuHOOCCOOHu2019-09-091-0/+58
* | modify testsNiko Matsakis2019-09-091-6/+6
|/
* Rename `textual_macro` -> `legacy_macro`uHOOCCOOHu2019-09-081-1/+1
* Resolve textual scoped macros inside itemuHOOCCOOHu2019-09-081-0/+35
* 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