summary refs log tree commit diff
path: root/src/tools/rust-analyzer/crates/ide-diagnostics
AgeCommit message (Collapse)AuthorLines
2025-07-11Minic rustc's new `format_args!` expansionShoyu Vanilla-0/+25
2025-06-10Merge pull request #19963 from ChayimFriedman2/unsized-impl-itemsLukas Wirth-0/+29
fix: Do not error at impls for unsized types that do not include `where Self: Sized` items
2025-06-10Do not error at impls for unsized types that do not include `where Self: ↵Chayim Refael Friedman-0/+29
Sized` items
2025-06-09Stabilize the "JSON is not Rust" diagnosticChayim Refael Friedman-0/+1
2025-06-06Stabilize unlinked file diagnosticChayim Refael Friedman-0/+1
2025-06-02Add a quickfix for accessing a private field of a structTyler Breisacher-30/+127
2025-06-02Enhance renaming to include identifiers that are generated from the original ↵Lukas Wirth-2/+2
symbol Co-authored-by: Jake Goulding <jake.goulding@integer32.com>
2025-05-29fix: Fix import insertion not being fully cfg awareLukas Wirth-5/+1
2025-05-28fix: Skip pattern analysis on type mismatchesShoyu Vanilla-0/+14
2025-05-26Merge pull request #19851 from ChayimFriedman2/normalize-exhaustivenessLukas Wirth-0/+25
fix: Normalize when checking for uninhabited types for pattern exhaustiveness checking
2025-05-23Normalize when checking for uninhabited types for pattern exhaustiveness ↵Chayim Refael Friedman-0/+25
checking
2025-05-19Fix cache problems with lints levelChayim Refael Friedman-164/+60
By removing the cache.
2025-05-15Improve asm supportChayim Refael Friedman-0/+21
Including: - Infer `label {}` and `const` operands. - Correctly handle unsafe check inside `label {}`. - Fix an embarrassing parser typo that cause labels to never be part of the AST
2025-05-09Make diagnostics experimental by defaultFlorian Diebold-33/+47
2025-05-05refactor: De-arc defmap queriesLukas Wirth-3/+5
2025-05-02Render more lifetimesLukas Wirth-10/+9
2025-05-01remove a couple of clonesMatthias Krüger-1/+1
2025-04-30Merge pull request #19247 from alibektas/19172_very_newLukas Wirth-2/+17
fix: Correct span info for mir::Operand
2025-04-28refactor: migrate `let_else_to_match` to editorPrajwal S N-3/+8
Signed-off-by: Prajwal S N <prajwalnadig21@gmail.com>
2025-04-28Merge pull request #19704 from Veykril/push-wrvznvvpvtvpLukas Wirth-79/+46
Add expression fill mode variant for filling with underscore expressions
2025-04-28Add expression fill mode variant for filling with underscore expressionsLukas Wirth-79/+46
2025-04-24fix: Fix type argument mismatch incorrectly triggering on inferred trait argsLukas Wirth-0/+12
2025-04-24Properly handle lifetimes when checking generic arguments lenChayim Refael Friedman-0/+208
And also, prepare for correct lowering of lifetime. We still don't handle most lifetimes correctly, but a bit more of the foundation to lifetime elision is now implemented.
2025-04-23fix: Fix incorrect diagnostic for lifetime parameter count mismatchLukas Wirth-7/+9
2025-04-23Mark `incorrect_generics_len` diagnostic as experimentalLukas Wirth-0/+1
2025-04-22Add two new diagnostics: one for mismatch in generic arguments count, and ↵Chayim Refael Friedman-5/+275
another for mismatch in their kind Also known as E0747 and E0107. And by the way, rewrite how we lower generic arguments and deduplicate it between paths and method calls. The new version is taken almost straight from rustc. This commit also changes the binders of `generic_defaults()`, to only include the binders of the arguments up to (and not including) the current argument. This make it easier to handle it in the rewritten lowering of generic args. It's also how rustc does it.
2025-04-21Remove unnecessary predefined symbol clonesChayim Refael Friedman-1/+1
Now that they're const it's no longer needed. Nothing manual was performed: only a regexp search of `sym::([\w][\w\d]*)\.clone\(\)` and replace by `sym::$1`.
2025-04-20doc: Fix dead manual linksbbb651-1/+1
2025-04-19Make `HirFileId`, `EditionedFileId` and macro files Salsa structChayim Refael Friedman-87/+123
And make more queries non-interned. Also flip the default for queries, now the default is to not intern and to intern a query you need to say `invoke_interned`.
2025-04-16Merge pull request #19590 from roife/fix-issue-19540Lukas Wirth-0/+18
feat: add `pub(crate) mod` option for unlinked files
2025-04-15feat: Add `pub(crate) mod` option for unlinked filesroifewu-0/+18
2025-04-10fix: Walk const block expressions for unsafety checkingLukas Wirth-0/+13
2025-04-10Remove all upcasts!Chayim Refael Friedman-6/+4
It turns out there were a lot redundant too.
2025-04-09Merge pull request #19462 from Veykril/push-ypvprvvwkyllLukas Wirth-2/+10
refactor: Lower type-refs before type inference
2025-04-09refactor: Lower type-refs before type inferenceLukas Wirth-2/+10
This refactors how we deal with items in hir-def lowering. - It now lowers all of them through an "ExpressionStore" (kind of a misnomer as this point) as their so called *Signatures. - We now uniformly lower type AST into TypeRefs before type inference. - Likewise, this moves macro expansion out of type inference, resulting in a single place where we do non-defmap macro expansion. - Finally, this PR removes a lot of information from ItemTree, making the DefMap a lot less likely to be recomputed and have it only depend on actual early name resolution related information (not 100% true, we still have ADT fields in there but thats a follow up removal).
2025-04-07Merge pull request #19432 from ShoyuVanilla/issue-19431Lukas Wirth-1/+45
fix: Yet another false positive invalid cast diagnostic
2025-04-04prefer default over newBenjaminBrienen-1/+1
2025-04-01chore: Remove unnecessary `Arc` clonesLukas Wirth-16/+1
2025-03-28Fix a bug in orphan rules calculationChayim Refael Friedman-0/+13
Where a fundamental type applied twice wasn't considered local.
2025-03-24fix: Yet another false positive invalid cast diagnosticShoyu Vanilla-1/+45
2025-03-23chore: Bump dependenciesLukas Wirth-2/+2
2025-03-22Speed up resolving "Generate delegate method" assist (part 2)Felicián Németh-16/+16
Make it compile by adding a `None` subtype to rest of the AssistId instantiations.
2025-03-19change test name to sth meaningfulAli Bektas-1/+1
2025-03-19Fix span info for mir::OperandAli Bektas-2/+17
Fixes #19172
2025-03-17chore: Bump `Edition::CURRENT` to 2024Lukas Wirth-5/+5
2025-03-16Merge pull request #19354 from ChayimFriedman2/rtn-prepLukas Wirth-0/+54
Preparation to Return Type Notation (RTN)
2025-03-15cargo fmtBenjaminBrienen-114/+96
2025-03-15Fix 2024 syntax errorsBenjaminBrienen-1/+2
2025-03-13internal: don't panic when the crate graph isn't ready #19351David Barsky-3/+11
2025-03-12Emit an error when RTN is used in an incorrect placeChayim Refael Friedman-0/+54
We miss one place: associated type bindings aka. `impl Trait<Type(..): Send>`, but we also miss it for Fn-style parenthesizes error so I left it out for now.