aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests
Commit message (Expand)AuthorAgeFilesLines
* Rename ra_hir_def -> hir_defAleksey Kladov2020-08-131-2/+2
* Rename ra_syntax -> syntaxAleksey Kladov2020-08-121-1/+1
* Add support for unions in inference and loweringPaul Daniel Faria2020-08-081-2/+2
* Add additional checks for union inference testsPaul Daniel Faria2020-08-081-5/+33
* Support `Trait as _` importsJonas Schievink2020-07-211-0/+22
* Replace remaining insta usesLaurențiu Nicola2020-07-216-5365/+5366
* Inline lang items in coercion testsLaurențiu Nicola2020-07-201-12/+64
* Use expect in never_type testsLaurențiu Nicola2020-07-202-186/+158
* Use expect in coercion testsLaurențiu Nicola2020-07-201-674/+684
* Merge #5331bors[bot]2020-07-121-0/+57
|\
| * Fix #4966Florian Diebold2020-07-121-0/+57
* | Remove some unnecessary file namesFlorian Diebold2020-07-121-3/+0
* | Add test for #4281Florian Diebold2020-07-121-0/+23
* | Search more efficiently for int/float implsFlorian Diebold2020-07-121-1/+18
* | Adapt trait object coercion tests to the status quoFlorian Diebold2020-07-121-4/+51
* | Enable Chalk tracing in hir_ty testsFlorian Diebold2020-07-121-59/+34
|/
* 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
| |/