aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | internal: ensure that runaway type-inference doesn't block the main loopAleksey Kladov2021-03-291-0/+2
| | |/ / | |/| | | | | | | | | | | | | | | | | | We have a bug where type-checking `per_query_memory_usage` takes a couple of seconds. It also reveals another bug: our type inference is not cancellable.
* | | | Merge #8244bors[bot]2021-03-293-11/+81
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8244: internal: track missing `.check_cancelled` r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | internal: track missing `.check_cancelled`Aleksey Kladov2021-03-293-11/+81
| |/ / /
* | | | Merge #8243bors[bot]2021-03-292-60/+35
|\ \ \ \ | |/ / / |/| | | | | | | | | | | | | | | | | | | | | | | 8243: Remove code duplication in highlight injection r=Veykril a=Veykril bors r+ Co-authored-by: Lukas Wirth <[email protected]>
| * | | Remove code duplication in highlight injectionLukas Wirth2021-03-292-60/+35
| | | |
* | | | internal: cleanup hprofAleksey Kladov2021-03-291-7/+13
|/ / /
* | | formatting fixAyomide Bamidele2021-03-292-2/+6
| | |
* | | Folding range for staticsAyomide Bamidele2021-03-291-0/+7
| | |
* | | Folding range for constsAyomide Bamidele2021-03-292-1/+9
| | |
* | | New FoldKinds - Consts, StaticsAyomide Bamidele2021-03-291-1/+5
| | |
* | | Test cases for folding consts and staticsAyomide Bamidele2021-03-291-0/+20
| | |
* | | Merge #8222bors[bot]2021-03-291-1/+0
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 8222: Don't mark unlinked file diagnostic as unused r=lnicola a=jonas-schievink Fixes https://github.com/rust-analyzer/rust-analyzer/issues/8215, at least on VS Code Co-authored-by: Jonas Schievink <[email protected]>
| * | Don't mark unlinked file diagnostic as unusedJonas Schievink2021-03-281-1/+0
| | |
* | | Merge #8212bors[bot]2021-03-2821-96/+287
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8212: Basic support macro 2.0 r=jonas-schievink a=edwin0cheng Turn out it is quite straight forward :) r @jonas-schievink ![m2](https://user-images.githubusercontent.com/11014119/112712565-6eb99380-8f0b-11eb-88de-5d7f974dfe6d.png) Co-authored-by: Edwin Cheng <[email protected]>
| * | Remove unused test fixturesEdwin Cheng2021-03-281-4/+0
| | |
| * | Add support for doc on hover for macro 2.0Edwin Cheng2021-03-272-2/+33
| | |
| * | Unleash macro 2.0 in hightlight and moreEdwin Cheng2021-03-2712-31/+49
| | |
| * | Basic Support Macro 2.0Edwin Cheng2021-03-277-63/+209
| | |
* | | Merge #8221bors[bot]2021-03-271-1/+1
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8221: Prefer adding `mod` declaration to lib.rs over file.rs in UnlinkedFile fix r=Veykril a=Veykril When there is a `lib.rs` and `main.rs` in one crate, one usually wants the `lib.rs` file to declare the modules. bors r+ Co-authored-by: Lukas Wirth <[email protected]>
| * | | Prefer add `mod` declaration to lib.rs over file.rs in UnlinkedFile fixLukas Wirth2021-03-271-1/+1
| | | |
* | | | Merge #8220bors[bot]2021-03-278-10/+15
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8220: Reorder some ide_db imports r=Veykril a=Veykril bors r+ Co-authored-by: Lukas Wirth <[email protected]>
| * | | | Cleanup ide_db importsLukas Wirth2021-03-278-10/+15
| |/ / /
* | | | Merge #8213bors[bot]2021-03-272-5/+21
|\ \ \ \ | |_|/ / |/| | | | | | | | | | | | | | | | | | | | | | | 8213: Added support for const generics in impl generation r=Veykril a=ivan770 Closes #8211 Co-authored-by: ivan770 <[email protected]>
| * | | Added support for const generics in impl generationivan7702021-03-272-5/+21
| | | |
* | | | Merge #8201bors[bot]2021-03-277-70/+119
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8201: Fix recursive macro statements expansion r=edwin0cheng a=edwin0cheng This PR attempts to properly handle macro statement expansion by implementing the following: 1. Merge macro expanded statements to parent scope statements. 2. Add a new hir `Expr::MacroStmts` for handle tail expression infer. PS : The scope of macro expanded statements are so strange that it took more time than I thought to understand and implement it :( Fixes #8171 Co-authored-by: Edwin Cheng <[email protected]>
| * | | | Fix recursive macro statement expansionEdwin Cheng2021-03-257-70/+119
| | | | |
* | | | | Add TokenTextAleksey Kladov2021-03-263-7/+89
| |_|/ / |/| | |
* | | | syntax: return owned string instead of leaking stringcynecx2021-03-2616-27/+27
| |_|/ |/| |
* | | completion relevance distinguish between exact type match and could unifyJosh Mcguigan2021-03-265-44/+81
| | |
* | | completion relevance consider if types can be unifiedJosh Mcguigan2021-03-265-3/+47
| | |
* | | Ignore main functions not in root moduleivan7702021-03-261-1/+7
| |/ |/|
* | Use more std::array::IntoIterLaurențiu Nicola2021-03-251-4/+3
| |
* | Use arrayvec 0.6Laurențiu Nicola2021-03-257-18/+16
|/
* 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
| |