aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty
Commit message (Collapse)AuthorAgeFilesLines
* Do not show default types in closuresKirill Bulatov2020-07-201-3/+19
|
* 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
|
* Merge #5368bors[bot]2020-07-144-1267/+511
|\ | | | | | | | | | | | | | | | | | | | | 5368: Compress match checking tests r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Compress match checking testsAleksey Kladov2020-07-143-1168/+419
| |
| * Data-driven diagnostics testsAleksey Kladov2020-07-143-100/+93
| |
* | Merge #5355bors[bot]2020-07-141-0/+1
|\ \ | |/ |/| | | | | | | | | | | | | 5355: Add a license field to all the crates r=matklad a=JohnTitor Some are unnecessary but it's okay to have it, I think. cc https://github.com/rust-lang/rust/issues/74269 Co-authored-by: Yuki Okushi <[email protected]>
| * Add a license field to all the cratesYuki Okushi2020-07-141-0/+1
| |
* | 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.
* | Upgrade ChalkFlorian Diebold2020-07-121-2/+3
| |
* | Enable Chalk tracing in hir_ty testsFlorian Diebold2020-07-125-66/+56
| |
* | 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-092-40/+28
|
* 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.