aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Collapse)AuthorAgeFilesLines
* Merge #5684bors[bot]2020-08-083-10/+44
|\ | | | | | | | | | | | | | | | | | | 5684: Semantic highlighting for unsafe union field access r=jonas-schievink a=Nashenas88 This change adds support for unions in inference and lowering, then extends on that to add the unsafe semantic modifier on field access only. The `is_possibly_unsafe` function in `syntax_highlighting.rs` could be extended to support fns and static muts so that their definitions are not highlighted as unsafe, but only their usage. Also, each commit of this PR updates the tests. By reviewing the files by commit, it's easy to see how the changes in the code affected the tests. Co-authored-by: Paul Daniel Faria <[email protected]>
| * 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
| |
* | Account for static mut in missing unsafe diagnosticPaul Daniel Faria2020-08-071-3/+35
|/
* 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
| |