aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests
Commit message (Expand)AuthorAgeFilesLines
* infer: Add type inference support for Union typesOtavio Salvador2020-07-111-0/+23
* Fix inference of indexing argument (partly)Florian Diebold2020-07-031-0/+36
* Implement Chalk variable kindsFlorian Diebold2020-07-011-0/+18
* Update the rest of the testsAleksey Kladov2020-06-296-413/+276
* (T): make typification tests more data drivenAleksey Kladov2020-06-292-133/+74
* (Partially) fix handling of type params depending on type paramsFlorian Diebold2020-06-291-0/+45
* Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe expr...Paul Daniel Faria2020-06-271-0/+1
* Merge #4982bors[bot]2020-06-272-23/+27
|\
| * Bump chalkLaurențiu Nicola2020-06-262-23/+27
* | Merge #5033bors[bot]2020-06-271-0/+46
|\ \ | |/ |/|
| * Split glob import map to per-ns, switch ExprCollector to use a simpler push_resPaul Daniel Faria2020-06-261-0/+46
* | Infer type for slice wildcard patternsadamrk2020-06-252-0/+27
|/
* Fix string literal inference in matchLaurențiu Nicola2020-06-241-0/+57
* Use only one code-path for parsing fixturesAleksey Kladov2020-06-238-2692/+2692
* Remove RelativePathBuf from fixtureAleksey Kladov2020-06-221-1/+1
* Merge #4958bors[bot]2020-06-201-0/+223
|\
| * Push obligation instead of matching on solutionadamrk2020-06-201-4/+4
| * Add test for dyn Fn Outputadamrk2020-06-201-0/+68
| * move tests to ra_hir_tyadamrk2020-06-201-0/+155
* | Shift bound variables correctly when using assoc type shorthandFlorian Diebold2020-06-191-0/+91
* | Use correct substs for super trait assoc typesFlorian Diebold2020-06-191-0/+28
|/
* Fix substs in resolve_value_path for ImplSelfVincent Rouillé2020-06-191-0/+32
* Make known paths use `core` instead of `std`Jonas Schievink2020-06-112-16/+18
* Fix type parameter defaultsFlorian Diebold2020-06-054-83/+137
* Review fixesFlorian Diebold2020-06-051-15/+58
* Implement return position impl trait / opaque type supportFlorian Diebold2020-06-051-1/+46
* correctly infer labelled breaksrobojumper2020-05-311-10/+10
* labelled break testrobojumper2020-05-311-0/+54
* Merge #4653bors[bot]2020-05-301-0/+50
|\
| * Fix match ergonomics in closure parametersFlorian Diebold2020-05-291-0/+50
* | Merge #4651bors[bot]2020-05-291-1/+1
|\ \
| * | Use first match branch in case of type mismatch, not lastFlorian Diebold2020-05-291-1/+1
* | | Merge #4652bors[bot]2020-05-291-5/+49
|\ \ \ | |_|/ |/| |
| * | Upgrade ChalkFlorian Diebold2020-05-291-5/+49
| |/
* / Support raw_ref_op's raw reference operatorrobojumper2020-05-282-6/+31
|/
* Use Chalk's Ty::Function for function pointer typesFlorian Diebold2020-05-221-0/+32
* Use Chalk's built-in representation of function item typesFlorian Diebold2020-05-221-0/+42
* Add some tests for Chalk built-in trait implsFlorian Diebold2020-05-221-0/+78
* Switch to new magic marksAleksey Kladov2020-05-205-18/+17
* loop return value inference: add testsRoland Ruckerbauer2020-05-191-0/+63
* Merge #4497bors[bot]2020-05-181-0/+31
|\
| * Create LowerCtx on the flyEdwin Cheng2020-05-171-0/+31
* | Add more tests for Fn traitsHrvoje Ban2020-05-181-0/+132
* | Allow calling dyn trait super trait methods without the super trait in scopeFlorian Diebold2020-05-161-0/+31
|/
* Handle `Self` in values and patternsFlorian Diebold2020-05-152-0/+83
* Omit default types in HirDisplay SourceCode modeTimo Freiberg2020-05-101-0/+27
* infer: Make expected rhs type for plain assign the lhs typeEmil Lauridsen2020-05-101-0/+29
* Merge #4175bors[bot]2020-05-091-0/+23
|\
| * New HirDisplay method for displaying sourcecodeTimo Freiberg2020-05-081-0/+23
* | Handle coercing function types to function pointers in matchFlorian Diebold2020-05-081-0/+42