aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/tests.rs
Commit message (Expand)AuthorAgeFilesLines
* Refactor to unify with method resolutionFlorian Diebold2019-11-011-2/+2
* Insert type vars before doing assoc item resolutionFlorian Diebold2019-11-011-12/+12
* Add another unrelated, currently not working testFlorian Diebold2019-11-011-0/+16
* Get trait assoc item resolution mostly workingFlorian Diebold2019-11-011-3/+150
* Merge #1969bors[bot]2019-10-081-2/+1
|\
| * macro DSL for cfg in testsAleksey Kladov2019-10-081-6/+1
| * use slightly more idiomatic api for cfgAleksey Kladov2019-10-081-1/+5
* | Support inferring `Self` type in enum definitionsice10002019-10-081-0/+19
|/
* Merge #1928bors[bot]2019-10-051-0/+45
|\
| * Support cfg attribute on impl blocksuHOOCCOOHu2019-10-021-0/+45
* | 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