aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Collapse)AuthorAgeFilesLines
* Merge #5458bors[bot]2020-07-213-849/+896
|\ | | | | | | | | | | | | | | 5458: Use expect in some ra_hir_ty tests r=flodiebold a=lnicola Co-authored-by: Laurențiu Nicola <[email protected]>
| * Inline lang items in coercion testsLaurențiu Nicola2020-07-202-27/+65
| |
| * Use expect in never_type testsLaurențiu Nicola2020-07-203-186/+185
| |
| * Use expect in coercion testsLaurențiu Nicola2020-07-201-674/+684
| |
* | Minor perf tweaks per clippyJeremy Kolb2020-07-191-1/+1
| |
* | Specify default adt representation for chalk integrationWilco Kusee2020-07-191-1/+1
|/
* call_info works with closuresAleksey Kladov2020-07-171-10/+1
|
* Mismatched arg count works for lambdasAleksey Kladov2020-07-172-10/+30
|
* Align CallableDefId naming with other idsAleksey Kladov2020-07-169-47/+49
|
* Rename CallableDefId -> InternedCallabelDefidAleksey Kladov2020-07-163-11/+11
|
* Remove TypeCtor interningFlorian Diebold2020-07-155-30/+21
| | | | Our TypeCtor and Chalk's TypeName match now!
* Use Chalk closure supportFlorian Diebold2020-07-156-350/+83
|
* Add FIXMEJonas Schievink2020-07-141-0/+1
|
* Thread varargs through r-aJonas Schievink2020-07-147-19/+65
|
* ItemTree: Lower tuple types despite invalid typeJonas Schievink2020-07-141-0/+23
|
* Refactor the test of diagnostic testsAleksey Kladov2020-07-146-474/+278
|
* Allow multiline annotationsAleksey Kladov2020-07-142-2/+3
|
* Compress match checking testsAleksey Kladov2020-07-143-1168/+419
|
* Data-driven diagnostics testsAleksey Kladov2020-07-143-100/+93
|
* Reduce visibilityAleksey Kladov2020-07-141-85/+83
|
* Cleanup visibilityAleksey Kladov2020-07-142-7/+11
|
* Cleanup hir diagnostics APIAleksey Kladov2020-07-145-40/+48
|
* Consolidate hir diagnostics code in one placeAleksey Kladov2020-07-146-13/+14
|
* Don't copy-paste `impl_froms` into every crateAleksey Kladov2020-07-133-30/+9
|
* Reorder importsAleksey Kladov2020-07-133-8/+7
|
* Merge #5331bors[bot]2020-07-122-2/+63
|\ | | | | | | | | | | | | | | | | | | 5331: Fix #4966 r=flodiebold a=flodiebold We add a level of binders when converting our function pointer to Chalk's; we need to remove it again on the way back. Fixes #4966. Co-authored-by: Florian Diebold <[email protected]>
| * Fix #4966Florian Diebold2020-07-122-2/+63
| | | | | | | | | | We add a level of binders when converting our function pointer to Chalk's; we need to remove it again on the way back.
* | Remove some unnecessary file namesFlorian Diebold2020-07-121-3/+0
| |
* | Add test for #4281Florian Diebold2020-07-121-0/+23
| | | | | | | | Fixes #4281.
* | Search more efficiently for int/float implsFlorian Diebold2020-07-123-18/+118
| |
* | Adapt trait object coercion tests to the status quoFlorian Diebold2020-07-121-4/+51
| |
* | Use Chalk built-in representation for array typesFlorian Diebold2020-07-121-7/+36
| |
* | Remove built-in Unsize implsFlorian Diebold2020-07-124-235/+6
| | | | | | | | They exist in Chalk now.
* | Enable Chalk tracing in hir_ty testsFlorian Diebold2020-07-124-66/+52
| |
* | Upgrade ChalkFlorian Diebold2020-07-125-13/+63
|/
* infer: Add type inference support for Union typesOtavio Salvador2020-07-112-2/+32
| | | | | | | | This adds the type inference to Union types and add a small test case for it, ensuring it keeps working in future. Fixes: #5277 Signed-off-by: Otavio Salvador <[email protected]>
* arg count mismatch: handle tuple ctorsJonas Schievink2020-07-091-17/+34
|
* Address review commentsJonas Schievink2020-07-091-40/+27
|
* Add testsJonas Schievink2020-07-091-0/+129
|
* Fix diagnostic for method callsJonas Schievink2020-07-091-3/+12
|
* Correctly pluralize messageJonas Schievink2020-07-091-1/+2
|
* Don't emit diagnostic if there are type errorsJonas Schievink2020-07-091-0/+7
|
* Add argument count mismatch diagnosticJonas Schievink2020-07-092-5/+92
|
*-. Merge #5235 #5236 #5241bors[bot]2020-07-074-9/+6
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5235: Don't ping people in PRs r=matklad a=lnicola 5236: Disable ES module interop r=matklad a=lnicola 5241: Clippy perf warnings r=matklad a=kjeremy Removes redundant clones Co-authored-by: Laurențiu Nicola <[email protected]> Co-authored-by: Aleksey Kladov <[email protected]> Co-authored-by: kjeremy <[email protected]>
| | * Clippy perf warningskjeremy2020-07-064-9/+6
| |/ | | | | | | Removes redundant clones
* / Switch to fully dynamically dispatched salsaAleksey Kladov2020-07-075-22/+18
|/ | | | This improves compile times quite a bit
* Fix inference of indexing argument (partly)Florian Diebold2020-07-032-8/+48
| | | | | | | | We need to add the `T: Index<Arg>` obligation to be resolved later as well, otherwise we can't make inferences about `Arg` later based on the `Index` impls. This still doesn't fix indexing with integer variables though; there's a further problem with Chalk floundering because of the variable, I think.
* Merge #5149bors[bot]2020-07-017-66/+135
|\ | | | | | | | | | | | | | | | | | | 5149: Implement Chalk variable kinds r=flodiebold a=flodiebold This means we need to keep track of the kinds (general/int/float) of variables in `Canonical`, which requires some more ceremony. (It also exposes some places where we're not really dealing with canonicalization correctly -- another thing to be cleaned up when we switch to using Chalk's types directly.) Should fix the last remaining issue of #2534. Co-authored-by: Florian Diebold <[email protected]>
| * Implement Chalk variable kindsFlorian Diebold2020-07-017-66/+135
| | | | | | | | | | | | | | | | | | This means we need to keep track of the kinds (general/int/float) of variables in `Canonical`, which requires some more ceremony. (It also exposes some places where we're not really dealing with canonicalization correctly -- another thing to be cleaned up when we switch to using Chalk's types directly.) Should fix the last remaining issue of #2534.
* | ItemTree: Lower fields despite invalid typeJonas Schievink2020-07-011-0/+24
| |
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-07 19:04:14 +0000