aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | internal: switch from CLI to internal benchmarkingAleksey Kladov2021-03-306-262/+76
|/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | We have a CLI for benchmarking, but no one actually uses it it seems. Let's try switching to "internal" benchmarks, implemented as rust tests. They should be easier to "script" to automate tracking of perf regressions.
* | | | | Accurately classify assoc. types in pathsJonas Schievink2021-03-302-18/+38
| | | | |
* | | | | Merge #8247bors[bot]2021-03-291-0/+2
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8247: internal: ensure that runaway type-inference doesn't block the main loop r=flodiebold a=matklad 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. Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | | 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]>