aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | Merge #5149bors[bot]2020-07-018-71/+140
|\ \ \ \ \ | |_|_|/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5149: Implement Chalk variable kinds r=flodiebold a=flodiebold This means we need to keep track of the kinds (general/int/float) of variables in `Canonical`, which requires some more ceremony. (It also exposes some places where we're not really dealing with canonicalization correctly -- another thing to be cleaned up when we switch to using Chalk's types directly.) Should fix the last remaining issue of #2534. Co-authored-by: Florian Diebold <[email protected]>
| * | | | Implement Chalk variable kindsFlorian Diebold2020-07-018-71/+140
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This means we need to keep track of the kinds (general/int/float) of variables in `Canonical`, which requires some more ceremony. (It also exposes some places where we're not really dealing with canonicalization correctly -- another thing to be cleaned up when we switch to using Chalk's types directly.) Should fix the last remaining issue of #2534.
* | | | | Merge #5179bors[bot]2020-07-012-1/+25
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5179: ItemTree: Lower fields despite invalid type r=jonas-schievink a=jonas-schievink Fixes https://github.com/rust-analyzer/rust-analyzer/issues/5147 bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | | | | ItemTree: Lower fields despite invalid typeJonas Schievink2020-07-012-1/+25
| | | | | |
* | | | | | Merge #5174bors[bot]2020-07-016-71/+71
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5174: Colorize more test fixtures r=matklad a=lnicola Co-authored-by: Laurențiu Nicola <[email protected]>
| * | | | | Colorize more test fixturesLaurențiu Nicola2020-07-016-71/+71
| | | | | |
* | | | | | Merge #5175bors[bot]2020-07-018-128/+148
|\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5175: More memory-efficient impl collection r=matklad a=jonas-schievink This saves roughly 90 MB in `ImplsFromDepsQuery`, which used to copy the list of all impls from libcore into *every* crate in the graph. It also stops collecting inherent impls from dependencies entirely, as those can only be located within the crate defining the self type. Co-authored-by: Jonas Schievink <[email protected]>
| * | | | | | Split `CrateImplDefs` in inherent and trait implsJonas Schievink2020-07-017-118/+130
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This makes the intention of inherent vs. trait impls somewhat more clear and also fixes (?) an issue where trait impls with an unresolved trait were added as inherent impls instead (hence the test changes).
| * | | | | | Don't recursively call `impls_from_deps`Jonas Schievink2020-07-011-11/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It creates a big map and duplicates lots of impls that are then left lying around
| * | | | | | Add a transitive deps iterator to `CrateGraph`Jonas Schievink2020-07-011-0/+17
| | | | | | |
* | | | | | | Merge #5178bors[bot]2020-07-014-318/+329
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5178: Fold multiline calls r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | | | Fold multiline callsAleksey Kladov2020-07-013-105/+114
| | | | | | |
| * | | | | | Update file structure testsAleksey Kladov2020-07-011-213/+215
| | | | | | |
* | | | | | | Update expand macro testsAleksey Kladov2020-07-011-126/+115
|/ / / / / /
* | | | | | Merge #5167bors[bot]2020-07-017-39/+39
|\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5167: Reuse Semantics instances r=matklad a=lnicola Co-authored-by: Laurențiu Nicola <[email protected]>
| * | | | | | Reuse Semantics instancesLaurențiu Nicola2020-07-017-39/+39
| | | | | | |
* | | | | | | Merge #5173bors[bot]2020-07-013-5/+8
|\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5173: Automatically reload project on config change r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | | | Automatically reload project on config changeAleksey Kladov2020-07-013-5/+8
| | | | | | |
* | | | | | | Merge #5171bors[bot]2020-07-012-6/+8
|\| | | | | | | |_|/ / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5171: Better account for project reload r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | | Better account for project reloadAleksey Kladov2020-07-012-6/+8
| | | | | |
* | | | | | Merge #5169bors[bot]2020-07-012-4/+4
|\| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5169: Add reload workspace command r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | | Add reload workspace commandAleksey Kladov2020-07-012-4/+4
| |/ / / /
* / / / / Log flycheck commandAleksey Kladov2020-07-011-0/+1
|/ / / /
* | | | Use the selection range when resolving call hierarchy itemsJeremy Kolb2020-07-012-2/+39
| | | | | | | | | | | | | | | | | | | | | | | | Add a test in call_hierarchy that already passed Fixes #5103
* | | | Merge #5162bors[bot]2020-07-012-57/+204
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5162: Try to reduce Semantics monomorphisations r=matklad a=lnicola Co-authored-by: Laurențiu Nicola <[email protected]>
| * | | | Make less code genericLaurențiu Nicola2020-07-011-69/+47
| | | | |
| * | | | Try to reduce Semantics monomorphisationsLaurențiu Nicola2020-07-012-24/+193
| | | | |
* | | | | Dont show empty progress for empty workspacesAleksey Kladov2020-07-011-16/+18
| | | | |
* | | | | Unify magic env var nameAleksey Kladov2020-07-011-1/+1
| | | | |
* | | | | Move parser specific tests utils to parser testsAleksey Kladov2020-07-012-102/+104
| | | | |
* | | | | Merge #5159bors[bot]2020-07-019-34/+87
|\ \ \ \ \ | |/ / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5159: Don't fail expect tests in rewrite mode r=matklad a=matklad bors r+ Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | Move test data to test_data directoryAleksey Kladov2020-07-018-7/+7
| | | | |
| * | | | Add file support to expectAleksey Kladov2020-07-013-21/+63
| | | | |
| * | | | CleanupAleksey Kladov2020-07-011-13/+23
| | | | |
| * | | | Don't fail tests when updating snapshotAleksey Kladov2020-07-011-8/+9
| | | | |
* | | | | Use the existing Semantics in auto_importLaurențiu Nicola2020-07-012-52/+48
| |_|/ / |/| | |
| | | |
| \ \ \
*-. \ \ \ Merge #5154 #5157bors[bot]2020-07-0110-169/+291
|\ \ \ \ \ | |_|/ / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5154: Structured search debugging r=matklad a=davidlattimore Adds a "search" mode to the rust-analyzer binary that does structured search (SSR without the replace part). This is intended primarily for debugging why a bit of code isn't matching a pattern. 5157: Use dynamic dispatch in AstDiagnostic r=matklad a=lnicola Co-authored-by: David Lattimore <[email protected]> Co-authored-by: Laurențiu Nicola <[email protected]>
| | * | | Use dynamic dispatch in AstDiagnosticLaurențiu Nicola2020-07-012-6/+6
| | | | |
| * | | | Structured search debuggingDavid Lattimore2020-07-018-163/+285
| | | | |
* | | | | Merge #5158bors[bot]2020-07-018-29/+45
|\ \ \ \ \ | |_|/ / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5158: Use CrateName correctly r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | Use Strings for display namesAleksey Kladov2020-07-015-15/+15
| | | | |
| * | | | Use CrateName for semantic namesAleksey Kladov2020-07-015-14/+30
| | | | |
* | | | | Remove db from AssistsContextLaurențiu Nicola2020-07-0111-35/+37
| | | | |
* | | | | Merge #5153bors[bot]2020-07-013-19/+15
|\ \ \ \ \ | |/ / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5153: Make SemanticsScope non-generic r=matklad a=lnicola This slightly reduces the build times: ![image](https://user-images.githubusercontent.com/308347/86210975-3a809480-bb7e-11ea-8975-788457f6b353.png) (compare to https://github.com/rust-analyzer/rust-analyzer/issues/1987#issuecomment-652202248) Co-authored-by: Laurențiu Nicola <[email protected]>
| * | | | Make SemanticsScope non-genericLaurențiu Nicola2020-07-013-19/+15
| |/ / /
* / / / FileSetConfig works with empty set of rootsAleksey Kladov2020-07-011-1/+1
|/ / / | | | | | | | | | Closes #5139
* | | Merge #5142bors[bot]2020-06-304-5/+42
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5142: analysis-stats: allow parallel type inference r=matklad a=jonas-schievink This is mostly just for testing/fun, but it looks like type inference can be sped up massively with little to no effort (since it runs after the serial phases are already done). Without `--parallel`: ``` Item Collection: 16.43597698s, 683mb allocated 720mb resident Inference: 25.429774879s, 1720mb allocated 1781mb resident Total: 41.865866352s, 1720mb allocated 1781mb resident ``` With `--parallel`: ``` Item Collection: 16.380369815s, 683mb allocated 735mb resident Parallel Inference: 7.449166445s, 1721mb allocated 1812mb resident Inference: 143.437157ms, 1721mb allocated 1812mb resident Total: 23.973303611s, 1721mb allocated 1812mb resident ``` Co-authored-by: Jonas Schievink <[email protected]>
| * | | analysis-stats: allow parallel type inferenceJonas Schievink2020-06-304-5/+42
| | | |
* | | | Don't crash on empty out_dirs with older cargosAleksey Kladov2020-06-301-4/+13
| | | | | | | | | | | | | | | | closes #5125
* | | | Switch to expect for the rest of inlay testsAleksey Kladov2020-06-301-74/+100
| |/ / |/| |