aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Collapse)AuthorAgeFilesLines
* Rename ra_syntax -> syntaxAleksey Kladov2020-08-127-9/+9
|
* Rename ra_prof -> profileAleksey Kladov2020-08-126-12/+7
|
* Rename ra_arenaAleksey Kladov2020-08-124-4/+4
|
* Better naming and docsKirill Bulatov2020-08-111-19/+20
|
* Move the DiagnosticsWithFix trait on the ide levelKirill Bulatov2020-08-111-29/+2
|
* Make the fix AST source OptionalKirill Bulatov2020-08-111-13/+13
|
* Refactor the diagnosticsKirill Bulatov2020-08-112-65/+44
|
* Require source implementations for DiagnosticKirill Bulatov2020-08-111-6/+6
|
* Restore accidentally removed public methodKirill Bulatov2020-08-111-9/+5
|
* Fix another missing fields diagnosticsKirill Bulatov2020-08-113-44/+19
|
* Better namingKirill Bulatov2020-08-111-30/+25
|
* Less stubsKirill Bulatov2020-08-111-17/+21
|
* Custom ranges for missing fieldsKirill Bulatov2020-08-112-4/+49
|
* 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
|