aboutsummaryrefslogtreecommitdiff
path: root/crates/ide
Commit message (Collapse)AuthorAgeFilesLines
* Emit better #[cfg] diagnosticsJonas Schievink2020-10-222-41/+47
|
* Merge #6299bors[bot]2020-10-202-58/+63
|\ | | | | | | | | | | | | | | 6299: Diagnose items that are #[cfg]d out r=jonas-schievink a=jonas-schievink This emits a hint-level diagnostic with `Unnecessary` tag to "gray out" any items whose `#[cfg]` attributes remove the item before name resolution. Co-authored-by: Jonas Schievink <[email protected]>
| * Fixup botched renameJonas Schievink2020-10-201-1/+1
| |
| * Add a (hint) diagnostic for unconfigured itemsJonas Schievink2020-10-201-1/+15
| |
| * Simplify diagnostic construction, add unused fieldJonas Schievink2020-10-202-57/+48
| |
* | Don't rely on display names in inlay_hintsAleksey Kladov2020-10-201-6/+13
|/
* More type safety around namesAleksey Kladov2020-10-201-3/+2
|
* Rename declaration_name -> display_nameAleksey Kladov2020-10-205-9/+8
| | | | | | | | Declaration names sounds like a name of declaration -- something you can use for analysis. It empathically isn't, and is just a label displayed in various UI. It's important not to confuse the two, least we accidentally mix semantics with UI (I believe, there's already a case of this in the FamousDefs at least).
* Extract call_info and completion into separate cratesIgor Aleksanov2020-10-1828-9244/+11
|
* Complete methods when receiver is a macroAleksey Kladov2020-10-171-0/+15
|
* Scan all ancestors for the impl trait block checkIgor Aleksanov2020-10-172-14/+17
|
* Allow hints after 'fn' keyword if it's an impl trait blockIgor Aleksanov2020-10-173-4/+37
|
* Add test for new pattern functionsIgor Aleksanov2020-10-171-0/+8
|
* Improve test_no_completions_required testIgor Aleksanov2020-10-171-1/+17
|
* Remove redundant completionsIgor Aleksanov2020-10-173-4/+70
|
* Clarify the names one more timeAleksey Kladov2020-10-154-8/+8
|
* More idiomatic classification APIAleksey Kladov2020-10-156-18/+18
|
* More clarificationsAleksey Kladov2020-10-154-5/+5
|
* Unconfuse expression and pattern field init shorthandsAleksey Kladov2020-10-151-1/+1
|
* Clarify NameClass names a bitAleksey Kladov2020-10-154-4/+4
|
* Merge #6242bors[bot]2020-10-152-91/+210
|\ | | | | | | | | | | | | | | | | 6242: Diagnost shorthand in patterns r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Move field_shorthand to a separate moduleAleksey Kladov2020-10-152-196/+211
| |
| * Diagnose shorthand in patterns as wellAleksey Kladov2020-10-151-5/+94
| |
| * flattenAleksey Kladov2020-10-151-26/+33
| |
| * Prepare for pat_field_shorthandAleksey Kladov2020-10-151-5/+13
| |
* | Merge #6234bors[bot]2020-10-151-1/+24
|\ \ | |/ |/| | | | | | | | | | | | | | | | | 6234: Fix hover over field pattern shorthand r=matklad a=Vlad-Shcherbina Instead of the information about the field, it now shows the information about the local. Fixes #6146 Co-authored-by: Vlad Shcherbina <[email protected]>
| * Fix hover over field pattern shorthandVlad Shcherbina2020-10-141-1/+24
| | | | | | | | | | | | | | Instead of the information about the field, it now shows the information about the local. Fixes #6146
* | Merge #6231bors[bot]2020-10-143-190/+231
|\ \ | |/ |/| | | | | | | | | | | 6231: Factor macro_rules and format-string highlighting out into submodules r=Veykril a=Veykril This moves `format`-like macro string highlighting and macro_rules highlight skipping out of the main module. Co-authored-by: Lukas Wirth <[email protected]>
| * Default::default the highlightersLukas Wirth2020-10-143-18/+7
| |
| * Factor macro_rules! highlighting outLukas Wirth2020-10-142-117/+154
| |
| * Factor format string highlighting outLukas Wirth2020-10-142-75/+90
| |
* | Add docs for dbgr and callLaurențiu Nicola2020-10-141-0/+2
| |
* | Bump pulldown-cmarkLaurențiu Nicola2020-10-132-13/+16
|/
*-. Merge #6130 #6135bors[bot]2020-10-124-5/+169
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6130: Items case quick fix (snake_case / UPPER_SNAKE_CASE / CamelCase) r=matklad a=popzxc Resolves #4598. After a third try, it finally works. Boy, it appeared tougher than it seemed. Initially I thought like "Ha, `rustc` already tells us where idents are named incorrectly. It shouldn't be that hard, should it?". Well, the problems with the information provided by `rustc` appeared shortly: - `rustc` warnings are `flycheck` warnings, which are slightly aside from our diagnostics with fixes. When we map flycheck diagnostic to LSP, we can convert it into a fix, but only if it's marked as `Applicability::MachineApplicable`. Name case fix is marked `Applicability::MaybeIncorrect`, and for a reason: it only suggest to rename symbol under cursor, without tracking any references. - Warning spawned by `rustc` are identified by string labels rather than enum. It means that if one day the diagnostic will be renamed in `rustc`, `rust-analyzer` code will still compile, but won't find the required diagnostic by name anymore. If by chance this will happen when some unlucky guy will decide to create their first pull request, they'll be confused by suddenly failing tests (likely) not related to their changes. - Even if we'll try to build fixes atop of `rustc` warnings, we'll have to do it in the `rust_analyzer::diagnostics::to_proto` module, which is far less convenient for that matter than `ide` crate. That's why I decided that it's worth a separate `rust-analyzer` diagnostic, which will implement `DiagnosticWithFix` trait. After that, I discovered that currently `hir_ty::diagnostics` only check `DefWithBody` types, like function bodies. I had to add support for diagnostics which look at any `ModuleDef`. And of course, since I'd added a lot of new functionality, it required extensive testing. That explains why the diff is so big for a (looking) relatively small feature. I hope that this PR doesn't only add a small feature, but also creates a base for building another features. ## Example: ![case_quick_fix](https://user-images.githubusercontent.com/12111581/95008475-e07ee780-0622-11eb-9978-62a9ea0e7782.gif) P.S. My eyes were bleeding when I had to write the code for the example... 6135: when generating new function, focus on return type instead of body r=matklad a=bnjjj I made a little change when we use the assist to generate a new function, instead of focusing on the function body, it will focus on return type Co-authored-by: Igor Aleksanov <[email protected]> Co-authored-by: Benjamin Coenen <[email protected]>
| * | Use TextRange::contains_inclusive in fixes checkIgor Aleksanov2020-10-122-5/+4
| | |
| * | Keep SyntaxNodePtr::range privateIgor Aleksanov2020-10-121-1/+4
| | |
| * | Fix code style issuesIgor Aleksanov2020-10-121-1/+0
| | |
| * | Apply case check diagnostic to impl itemsIgor Aleksanov2020-10-121-0/+24
| | |
| * | Make incorrect case diagnostic work inside of functionsIgor Aleksanov2020-10-121-0/+26
| | |
| * | Add diagnostics for enum names and variantsIgor Aleksanov2020-10-121-0/+26
| | |
| * | Add fix for incorrect case diagnosticIgor Aleksanov2020-10-124-3/+90
| | |
* | | Merge #6205bors[bot]2020-10-121-2/+2
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6205: Fix iterator hint shortening heuristic r=SomeoneToIgnore a=Veykril Turns out I made a mistake with the heuristic check which is always true, so all iterators exposed from `core` were shortened, including things like ranges. 😅 Co-authored-by: Lukas Wirth <[email protected]>
| * | | Fix iterator hint shortening heuristicLukas Wirth2020-10-121-2/+2
| | | |
* | | | Merge #6153bors[bot]2020-10-122-6/+45
|\ \ \ \ | |/ / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6153: Improve prime_caches and display its progress r=matklad a=jonas-schievink It now computes the `CrateDefMap` of all crates, which is generally a reasonable approximation for "IDE features ready". There is still some delay after this finishes, I suspect mostly due to impl collection, which takes a while, but this should be an improvement already. For more accurate progress reports, this topologically sorts all crates before starting this operation. ~~Because that is also the ordering in which parallelization makes sense (which was previously attempted in https://github.com/rust-analyzer/rust-analyzer/pull/3529), I decided to throw that into the mix as well. It still doesn't provide *that* much of a performance boost, but it does scale beyond the current single-core architecture, and adding it was very easy.~~ ~~Unfortunately, as written, this will not tell the user which crate is actually causing slowdowns, since the displayed crate is the last one that was *started*, not the one we are currently *blocked* on, but that seems fairly difficult to implement unless I'm missing something.~~ (I have removed rayon for now since it does not work correctly with cancellation.) Co-authored-by: Jonas Schievink <[email protected]>
| * | | Improve prime_caches and display its progressJonas Schievink2020-10-122-6/+45
| |/ /
* | | Merge #6195bors[bot]2020-10-121-29/+48
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6195: Shorten iterators in associated params r=matklad a=SomeoneToIgnore Applies the same iterator-shortening logic to the iterator associated types, recursively. Before: ![image](https://user-images.githubusercontent.com/2690773/95662735-e6ecf200-0b41-11eb-8e54-28493ad4e644.png) After: <img width="1192" alt="image" src="https://user-images.githubusercontent.com/2690773/95662894-e9038080-0b42-11eb-897d-527571ccac58.png"> Co-authored-by: Kirill Bulatov <[email protected]>
| * | | Also replace the associated types with iterKirill Bulatov2020-10-101-11/+14
| | | |
| * | | Add a testKirill Bulatov2020-10-101-23/+39
| | | |
* | | | Merge #6198bors[bot]2020-10-124-4/+124
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6198: Skip macro matcher fragment name semantic highlighting r=matklad a=Veykril Implements a small state-machine for macro_rules! highlighting to separate out the matcher part of its rules. This skips semantically highlighting names of metavariables in the matcher and expander. This might even allow for more fun macro highlighting things in the future. Fixes #4380. Co-authored-by: Lukas Wirth <[email protected]>
| * | | | Skip macro matcher fragment name semantic highlightingLukas Wirth2020-10-104-4/+124
| | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-23 04:15:47 +0000