aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * Paper over #8931 a bit moreFlorian Diebold2021-05-232-2/+4
| | | | | | | | | | | | | | | | | | The problem was the skipping of binders in `resolve_method_call_as_callable`; this still doesn't use the _correct_ substitution, but at least it doesn't return a type with free variables in it. Fixes #8931.
| * Add test for #8931 and better checkingFlorian Diebold2021-05-233-13/+114
| |
* | Merge #8935bors[bot]2021-05-231-0/+2
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | 8935: docs(manual): Add rust-tools.nvim to nvim-lsp r=matklad a=simrat39 I'm not sure what to write there but this seems fine https://github.com/simrat39/rust-tools.nvim/issues/16 Co-authored-by: sim <[email protected]>
| * | docs(manual): Add rust-tools.nvim to nvim-lspsim2021-05-231-0/+2
|/ /
* | Merge #8932bors[bot]2021-05-232-34/+342
|\ \ | |/ |/| | | | | | | | | | | | | | | 8932: internal: even prettier itemtrees r=jonas-schievink a=jonas-schievink Extends the ItemTree pretty printer to handle all `Path`s, and to print generic parameters and where-clauses. bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * Render where clauses and more generic paramsJonas Schievink2021-05-232-34/+155
| |
| * Pretty-print generic parametersJonas Schievink2021-05-232-22/+99
| |
| * ItemTree: pretty-print all pathsJonas Schievink2021-05-222-9/+119
|/
* Merge #8926bors[bot]2021-05-221-19/+1
|\ | | | | | | | | | | | | | | 8926: internal: Drop uncompressed release artifacts and those following the old naming convention r=matklad a=lnicola Closes #6996 Co-authored-by: Laurențiu Nicola <[email protected]>
| * Drop uncompressed release artifacts and those following the old naming ↵Laurențiu Nicola2021-05-221-19/+1
| | | | | | | | convention
* | Merge #8927bors[bot]2021-05-221-0/+1
|\ \ | |/ |/| | | | | | | | | | | | | 8927: internal: try enabling debug info for releases r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * internal: try enabling debug info for releasesAleksey Kladov2021-05-221-0/+1
|/ | | | | We now compress releases, so let's check if debug info is light enough to actually ship to users. Getting line numbers back would be helpful!
* Merge #8924bors[bot]2021-05-222-22/+5
|\ | | | | | | | | | | | | | | 8924: Add last remaining module docstring r=flodiebold a=flodiebold That was easier than expected. Co-authored-by: Florian Diebold <[email protected]>
| * Add last remaining module docstringFlorian Diebold2021-05-222-22/+5
|/
* Merge #8923bors[bot]2021-05-2222-36/+13
|\ | | | | | | | | | | | | | | | | 8923: Add even more docs r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Add even more docsAleksey Kladov2021-05-2222-36/+13
| |
* | Merge #8922bors[bot]2021-05-2220-40/+72
|\| | | | | | | | | | | | | | | | | 8922: Add more docs r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Add more docsAleksey Kladov2021-05-2220-40/+72
| |
* | Merge #8868bors[bot]2021-05-228-282/+192
|\| | | | | | | | | | | | | | | 8868: internal: replace AstTransformer with mutable syntax trees r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * use more precise nameAleksey Kladov2021-05-223-12/+7
| |
| * internal: replace AstTransformer with mutable syntax treesAleksey Kladov2021-05-226-208/+123
| |
* | Merge #8921bors[bot]2021-05-221-1/+13
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8921: Resolve any lifetime variables to 'static after inference r=flodiebold a=flodiebold Chalk's unification can sometimes create lifetime variables, which we currently don't really deal with, but at least we don't want to leak them outside of inference. Should fix #8919. Co-authored-by: Florian Diebold <[email protected]>
| * | Resolve any lifetime variables to 'static after inferenceFlorian Diebold2021-05-221-1/+13
| |/ | | | | | | | | | | | | | | Chalk's unification can sometimes create lifetime variables, which we currently don't really deal with, but at least we don't want to leak them outside of inference. Should fix #8919.
* | Merge #8901bors[bot]2021-05-222-27/+75
|\ \ | |/ |/| | | | | | | | | | | | | | | | | 8901: fix: `fill_match_arms` hangs on a tuple of large enums r=matklad a=iDawer + Lazy computation of missing arms. + Convenience function to test lazy computation: `ide_assists::tests::check_assist_unresolved`. Fixes #8835 Co-authored-by: Dawer <[email protected]>
| * Test `fill_match_arms` for lazy computation.Dawer2021-05-212-3/+38
| | | | | | | | This also adds `ide_assists::tests::check_assist_unresolved` function.
| * fix: `fill_match_arms` hangs on a tuple of large enumsDawer2021-05-201-2/+14
| |
| * Compute missing arms lazily.Dawer2021-05-201-23/+24
| |
* | Merge #8918bors[bot]2021-05-222-9/+39
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8918: fix: fix hang caused by non-unique attribute IDs r=jonas-schievink a=jonas-schievink Fixes https://github.com/rust-analyzer/rust-analyzer/issues/8905 (again) bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Work around non-unique AttrIdsJonas Schievink2021-05-222-9/+39
|/ /
* | Merge #8916bors[bot]2021-05-2215-3/+925
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8916: ItemTree pretty-printing r=jonas-schievink a=jonas-schievink This adds a printer for `ItemTree` contents, and a few tests to ensure that `ItemTree` lowering works like we expect it to. It also adds a new "Debug ItemTree" command that can be used to see the `ItemTree` of the currently open file. The pretty-printed output is usually close enough to Rust syntax that we can even use Rust syntax highlighting. This is similar to the old `ItemTree` tests we had, but produces significantly more readable output, so these should actually carry their weight. Co-authored-by: Jonas Schievink <[email protected]>
| * | Use `.rs` file ending to get syntax highlightingJonas Schievink2021-05-211-1/+1
| | |
| * | Update lsp-extensions.mdJonas Schievink2021-05-211-2/+18
| | |
| * | Add a "Debug ItemTree" LSP requestJonas Schievink2021-05-219-0/+108
| | |
| * | Add an ItemTree pretty-printerJonas Schievink2021-05-213-0/+780
| | |
| * | impl Display for AttrInput/ImportAliasJonas Schievink2021-05-212-1/+19
|/ /
* | Merge #8914bors[bot]2021-05-213-20/+4
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8914: internal: remove `StructDefKind` r=jonas-schievink a=jonas-schievink The `Fields` enum already encodes this, so `StructDefKind` is redundant. bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Remove `StructDefKind`Jonas Schievink2021-05-213-20/+4
|/ /
* | Merge #8856bors[bot]2021-05-2123-1077/+1206
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8856: Use Chalk for unification r=flodiebold a=flodiebold - use Chalk's unification, get rid of our own `unify` - rewrite coercion to not use unification internals and to be more analogous to rustc - fix various coercion bugs - rewrite handling of obligations, since the old hacky optimization where we noted when an inference variable changes wasn't possible anymore - stop trying to deeply resolve types all the time during inference, instead only do it shallowly where necessary Co-authored-by: Florian Diebold <[email protected]>
| * | Clean up visibilitiesFlorian Diebold2021-05-211-10/+10
| | |
| * | Some remaining cleanupsFlorian Diebold2021-05-213-18/+13
| | |
| * | Fix test after rebaseFlorian Diebold2021-05-211-1/+1
| | |
| * | Record type mismatches for failed coercions in match etc.Florian Diebold2021-05-212-15/+21
| | |
| * | Refactor expectation handlingFlorian Diebold2021-05-213-54/+88
| | | | | | | | | | | | So as to not use `TyKind::Error` as "no expectation".
| * | Remove TypeVariableTableFlorian Diebold2021-05-212-56/+48
| | |
| * | Deal with goals arising from unificationFlorian Diebold2021-05-214-18/+21
| | |
| * | Get rid of resolve_ty_as_possibleFlorian Diebold2021-05-218-88/+56
| | | | | | | | | | | | Instead use shallow resolving where necessary.
| * | Make resolve_ty_shallow return TyFlorian Diebold2021-05-213-14/+7
| | |
| * | Rework obligation handlingFlorian Diebold2021-05-2111-143/+240
| | | | | | | | | | | | | | | | | | | | | | | | We can't do the easy hack that we did before anymore, where we kept track of whether any inference variables changed since the last time we rechecked obligations. Instead, we store the obligations in canonicalized form; that way we can easily check the inference variables to see whether they have changed since the goal was canonicalized.
| * | Fix another panicFlorian Diebold2021-05-211-17/+15
| | |
| * | Improve debug printing without TLSFlorian Diebold2021-05-212-158/+21
| | |