aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Collapse)AuthorAgeFilesLines
* Add support for unions in inference and loweringPaul Daniel Faria2020-08-083-7/+13
|
* Add additional checks for union inference testsPaul Daniel Faria2020-08-081-5/+33
|
* Allign RecordPat with RecordExprAleksey Kladov2020-07-312-2/+2
|
* Merge #5610bors[bot]2020-07-302-17/+24
|\ | | | | | | | | | | | | | | 5610: Bump deps r=flodiebold a=lnicola Co-authored-by: Laurențiu Nicola <[email protected]>
| * Bump chalkLaurențiu Nicola2020-07-302-17/+24
| |
* | Rename RecordLit -> RecordExprAleksey Kladov2020-07-302-8/+8
| |
* | Rename FnDef -> FnAleksey Kladov2020-07-301-1/+1
|/
* Mark MismatchedArgCount as experimentalJonas Schievink2020-07-241-0/+3
|
* Add a builder for DiagnosticSinkJonas Schievink2020-07-241-2/+2
|
* Support `Trait as _` importsJonas Schievink2020-07-211-0/+22
|
* Remove insta depLaurențiu Nicola2020-07-211-2/+2
|
* Replace remaining insta usesLaurențiu Nicola2020-07-216-5365/+5366
|
*---. Merge #5451 #5463 #5465 #5466bors[bot]2020-07-211-3/+19
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5451: Highlight more cases of SyntaxKind when it is a punctuation r=matklad a=GrayJack This maybe closes #5406 Closes #5453 Separate what one expect to be a punctuation semantic token (like `,`, `;`, `(`, etc), and what is not (`&`, `::`, `+`, etc) 5463: Bump lexer r=matklad a=kjeremy Since we're now on rust 1.45 5465: Bump chalk r=matklad a=kjeremy 5466: Do not show default types in function and closure return values r=matklad a=SomeoneToIgnore Avoid things like <img width="522" alt="image" src="https://user-images.githubusercontent.com/2690773/87985936-1bbe4f80-cae5-11ea-9b8a-5383d896c296.png"> Co-authored-by: GrayJack <[email protected]> Co-authored-by: kjeremy <[email protected]> Co-authored-by: Kirill Bulatov <[email protected]>
| | | * Do not show default types in closuresKirill Bulatov2020-07-201-3/+19
| | |/
* | | 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]>