aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* Merge #7907bors[bot]2021-03-2410-37/+250
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 7907: Autoderef with visibility r=cynecx a=cynecx Fixes https://github.com/rust-analyzer/rust-analyzer/issues/7841. I am not sure about the general approach here. Right now this simply tries to check whether the autoderef candidate is reachable from the current module. ~~However this doesn't exactly work with traits (see the `tests::macros::infer_derive_clone_in_core` test, which fails right now).~~ see comment below Refs: - `rustc_typeck` checking fields: https://github.com/rust-lang/rust/blob/66ec64ccf31883cd2c28d045912a76179c0c6ed2/compiler/rustc_typeck/src/check/expr.rs#L1610 r? @flodiebold Co-authored-by: cynecx <[email protected]>
| * hir: don't use the self module as visible_from in iterate_method_candidatescynecx2021-03-241-6/+1
| |
| * hir_ty: don't call write_field_resolution when field candidate isn't visiblecynecx2021-03-241-6/+4
| |
| * hir_def: move visibility queries from hir_ty to hir_defcynecx2021-03-245-35/+43
| |
| * hir_ty: add coverage testing for autoderef_visibility_method testcynecx2021-03-202-0/+2
| |
| * hir_ty: fix test by removing trailing whitespacecynecx2021-03-201-24/+23
| |
| * hir_ty: iterate_method_candidates_for_self_ty pass `visible_from_module` ↵cynecx2021-03-201-1/+6
| | | | | | | | down to `iterate_inherent_methods`
| * hir_ty: fix visibility in infer_inherent_method testcynecx2021-03-201-16/+16
| |
| * hir_ty: introduce visible_from_module param into method resolutioncynecx2021-03-204-4/+40
| |
| * hir_ty: check field visibility while iterating through autoderef candidatescynecx2021-03-201-14/+36
| |
| * hir_ty: add field_visibilities and fn_visibility queriescynecx2021-03-202-4/+33
| |
| * hir_ty: add tests around autoderef with visibility checkingcynecx2021-03-201-0/+119
| |
| * hir_ty: fix tests by making required methods publiccynecx2021-03-202-4/+4
| |
* | Merge #8190bors[bot]2021-03-244-18/+42
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8190: Fix chalk_ir assertion r=flodiebold a=flodiebold Fixes #8150. I implemented a validator that catches this in the tests, but it'd need to get merged in Chalk first. Co-authored-by: Florian Diebold <[email protected]>
| * | Fix chalk_ir assertionFlorian Diebold2021-03-244-18/+42
| | | | | | | | | | | | Fixes #8150.
* | | Document unlinked-file diagnosticJonas Schievink2021-03-241-0/+4
|/ /
* | Sweep the new TraitEnvironmentQueryJonas Schievink2021-03-241-0/+1
| |
* | refine comment style of testshi-rustin2021-03-242-48/+48
| |
* | Merge #8168bors[bot]2021-03-241-7/+70
|\ \ | | | | | | | | | | | | | | | | | | | | | 8168: correct `convert to guard return` let_stmt r=Veykril a=hi-rustin close https://github.com/rust-analyzer/rust-analyzer/issues/8074 Co-authored-by: hi-rustin <[email protected]>
| * | correct `convert to guard return` let_stmthi-rustin2021-03-241-7/+70
| | | | | | | | | | | | | | | | | | | | | | | | fix fix add check
* | | Merge #8183bors[bot]2021-03-241-8/+38
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8183: Fix missing command error with macros r=Veykril a=brandondong **Reproduction:** 1. Define a struct through a macro (can be via `macro_rules`, proc macro, or `include!()`). 2. !!MISSING: command!! annotation appears. Clicking on it results in an error message. No matter where the macro is called/defined, the annotation is always at the start of the file. ![image](https://user-images.githubusercontent.com/13722457/112268785-bce14500-8c34-11eb-9a23-bafd63ffd6ef.png) **Cause:** - For struct `A`, a `HasImpls` annotation is added just like for struct `B`. Unlike `B`, the file id for `A` is not the file we are adding annotations to but a macro file. - The resolving step of the code lens does not succeed. **Fix:** - Check that the files match before computing offsets and adding `HasImpls`/`HasReferences` annotations. Co-authored-by: Brandon <[email protected]>
| * | | Clean up implementationBrandon2021-03-242-14/+8
| | | |
| * | | Fix MISSING: command error with macrosBrandon2021-03-242-8/+44
| | | |
* | | | Merge #8177bors[bot]2021-03-241-2/+2
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8177: Limit the hints size by default r=Veykril a=SomeoneToIgnore Fixes https://github.com/rust-analyzer/rust-analyzer/issues/8175 Fixes https://github.com/rust-analyzer/rust-analyzer/issues/3138 Co-authored-by: Kirill Bulatov <[email protected]>
| * | | | Bump the default hint lengthKirill Bulatov2021-03-231-1/+1
| | | | |
| * | | | Limit the hints size by defaultKirill Bulatov2021-03-231-2/+2
| | | | |
* | | | | Trim down IPC json sizeEdwin Cheng2021-03-241-4/+26
| |/ / / |/| | |
* | | | Merge #8159bors[bot]2021-03-234-15/+38
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8159: Ignore proc-macro stdout to prevent IPC crash r=edwin0cheng a=edwin0cheng fixes #7954 r? @flodiebold Co-authored-by: Edwin Cheng <[email protected]>
| * | | | Improve message usage in proc-macroEdwin Cheng2021-03-233-9/+17
| | | | | | | | | | | | | | | | | | | | Reuse storage for the buffer send to child process of proc-macro.
| * | | | Ignore proc-macro stdout to prevent IPC crashEdwin Cheng2021-03-232-7/+22
| | | | |
* | | | | Merge #8178bors[bot]2021-03-236-209/+225
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8178: Show item info when hovering intra doc links r=Veykril a=Veykril ![r4uIITP0IZ](https://user-images.githubusercontent.com/3757771/112197618-91e2fb00-8c0c-11eb-9edc-a7923214d2b6.gif) Co-authored-by: Lukas Wirth <[email protected]>
| * | | | | Cleanup intra_doc_link parsingLukas Wirth2021-03-231-82/+51
| | | | | |
| * | | | | Show item info when hovering intra doc linksLukas Wirth2021-03-236-128/+175
| | | | | |
* | | | | | Merge #8176bors[bot]2021-03-231-67/+45
|\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8176: Cleanup r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | | | CleanupAleksey Kladov2021-03-231-67/+45
| | | | | | |
* | | | | | | Merge #8173bors[bot]2021-03-232-40/+56
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8173: simplify r=Veykril a=Veykril bors r+ Co-authored-by: Lukas Wirth <[email protected]>
| * | | | | | simplifyLukas Wirth2021-03-232-40/+56
| | |/ / / / | |/| | | |
* | | | | | Merge #8174bors[bot]2021-03-233-39/+18
|\ \ \ \ \ \ | | |/ / / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8174: Simplify code r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | | Simplify codeAleksey Kladov2021-03-233-39/+18
| | | | | | | | | | | | | | | | | | | | | | | | changelog: skip
* | | | | | Merge bang-macros and derives in name resolutionJonas Schievink2021-03-231-86/+79
| |/ / / / |/| | | |
* | | | | Merge #8169bors[bot]2021-03-232-44/+48
|\ \ \ \ \ | |/ / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8169: Make more use of the HIR in rename::rename_to_self r=Veykril a=Veykril bors r+ Co-authored-by: Lukas Wirth <[email protected]>
| * | | | Make more use of the HIR in rename::rename_to_selfLukas Wirth2021-03-232-44/+48
| | | | |
* | | | | Use styleguide conforming import for ast nodesAleksey Kladov2021-03-231-34/+36
|/ / / /
* | | | Unify test styleAleksey Kladov2021-03-231-38/+52
| | | | | | | | | | | | | | | | changelog skip
* | | | Tweak assits API to fit mutable syntax treesAleksey Kladov2021-03-233-23/+53
| |/ / |/| | | | | | | | changelog: skip
* | | Cleanup Definition::search_scopeLukas Wirth2021-03-231-83/+94
| | |
* | | Merge hir::MacroDef::is_* into hir::MacroDef::kindLukas Wirth2021-03-233-16/+20
| | |
* | | Set up a search scope when searching for mbe macro referencesLukas Wirth2021-03-233-4/+56
| | |
* | | Merge #8162bors[bot]2021-03-233-17/+10
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8162: Compute more mathematically well-rounded notion of transitive deps r=Veykril a=matklad By including the crate itself, we make the resulting set closed with respect to `transitve_reveres_dependencies` operation, as it becomes a proper transitive closure. This just feels more proper and mathy. And, indeed, this actually allows us to simplify call sites somewhat. Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Improve readabilityAleksey Kladov2021-03-231-0/+1
| | | |