aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Merge #1694bors[bot]2019-08-175-113/+186
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | 1694: Implement initial type-inference support for Index r=flodiebold a=matklad This doesn't actually infer indexing types, but at least it walks sub-expressions! Initially, I wanted to make `Index` just a new kind of `BinOp` (b/c indexing is kind of a binary op), so I've refactoring binop handing a bit. However, in the end I've decided to add a separate expr kind for Index, because `foo[0]`, `&foo[1]` and `&mut foo[1]` all seem to need slightly different handing, which is not binop-like r? @flodiebold Co-authored-by: Aleksey Kladov <[email protected]>
| * implement initial type inference for index expressionsAleksey Kladov2019-08-173-1/+33
| |
| * normalize ordering opsAleksey Kladov2019-08-172-26/+36
| |
| * Introduce separate hir::BinaryOpAleksey Kladov2019-08-174-75/+96
| | | | | | | | | | Unlike ast::BinOp, it has significantly more structure to it, so it's easier to, say, handle all assignment-like operations in the same way.
| * implement accessors for IndexExprAleksey Kladov2019-08-171-0/+9
| |
| * simplifyAleksey Kladov2019-08-171-35/+36
|/
* Merge #1693bors[bot]2019-08-175-64/+63
|\ | | | | | | | | | | | | | | 1693: Remove cpuprofile dependencies r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Remove cpuprofile dependenciesAleksey Kladov2019-08-175-64/+63
|/
* Merge #1692bors[bot]2019-08-172-45/+44
|\ | | | | | | | | | | | | | | 1692: :arrow_up: deps r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * :arrow_up: depsAleksey Kladov2019-08-172-45/+44
|/
* Merge #1691bors[bot]2019-08-162-2/+44
|\ | | | | | | | | | | | | | | 1691: Show inherent and trait impls of structs and enums r=viorina a=viorina Co-authored-by: Ekaterina Babshukova <[email protected]>
| * show inherent and trait impls of structs and enumsEkaterina Babshukova2019-08-162-2/+44
| |
* | Merge #1689bors[bot]2019-08-161-9/+9
|\ \ | | | | | | | | | | | | | | | | | | | | | 1689: Update deps r=kjeremy a=kjeremy Co-authored-by: kjeremy <[email protected]>
| * | Update depskjeremy2019-08-161-9/+9
|/ /
* | Merge #1686bors[bot]2019-08-151-74/+116
|\ \ | | | | | | | | | | | | | | | | | | | | | 1686: :arrow_up: deps r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | :arrow_up: depsAleksey Kladov2019-08-151-74/+116
|/ /
* | Merge #1445bors[bot]2019-08-1510-68/+166
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1445: Use the new "durability" infrastructure from salsa r=matklad a=matklad Based on https://github.com/nikomatsakis/salsa/tree/durability Durability allows us to skip *validation* work for sysroot and crates.io libraries, which massively speeds up some workloads Co-authored-by: Aleksey Kladov <[email protected]>
| * | switch to upstream salsaAleksey Kladov2019-08-152-10/+8
| | |
| * | implement durabilityAleksey Kladov2019-08-1510-47/+128
| | |
| * | switch from volatile to untracked readAleksey Kladov2019-08-152-22/+41
|/ /
* | Merge #1685bors[bot]2019-08-155-1/+142
|\ \ | | | | | | | | | | | | | | | | | | | | | 1685: fix error of RangeFrom in for-loop r=DJMcNab a=bravomikekilo fix [issue-1542](https://github.com/rust-analyzer/rust-analyzer/issues/1542) @matklad Co-authored-by: bravomikekilo <[email protected]>
| * | fix test positionbravomikekilo2019-08-146-118/+130
| | |
| * | fix testbravomikekilo2019-08-141-2/+2
| | |
| * | fix error of RangeFrom in for-loopbravomikekilo2019-08-143-1/+130
| | |
* | | Merge #1676bors[bot]2019-08-1410-13/+100
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 1676: Fix for<'lifetime> for types specified by path r=matklad a=eupn Fixes #1467. Co-authored-by: Evgenii P <[email protected]>
| * | Fix is_path_start to accept T![<], fix is_path_start usagesEvgenii P2019-08-138-13/+17
| | |
| * | Fix for<'lifetime> for types specified by pathEvgenii P2019-08-113-2/+85
| | |
* | | Merge #1636bors[bot]2019-08-133-7/+81
|\ \ \ | |_|/ |/| | | | | | | | | | | | | | | | | 1636: fix block parse problem r=matklad a=bravomikekilo try to fix [issue-1598](https://github.com/rust-analyzer/rust-analyzer/issues/1598). Co-authored-by: bravomikekilo <[email protected]>
| * | add inline testbravomikekilo2019-08-133-0/+75
| | |
| * | fix block parse problembravomikekilo2019-08-031-7/+6
| | |
* | | Merge #1677bors[bot]2019-08-1210-38/+405
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1677: Associated types r=flodiebold a=flodiebold This implements basic support for (fully qualified) associated type projections: - handle fully qualified paths like `<T as Trait>::AssocType` (basically desugaring to something like `Trait<Self=T>::AssocType`) - lower these to a new `Ty::Projection` enum variant - also introduce `Ty::UnselectedProjection` for cases like `T::AssocType` where the trait from which the type comes isn't specified, but these aren't handled further so far - in inference, normalize these projections using Chalk: basically, when encountering a type e.g. from a type annotation or signature, we replace these `Ty::Projection`s by type variables and add obligations to normalize the associated type Co-authored-by: Florian Diebold <[email protected]>
| * | | Handle placeholder assoc types when Chalk produces themFlorian Diebold2019-08-122-3/+67
| | | |
| * | | Normalize assoc types in more placesFlorian Diebold2019-08-122-12/+27
| | | |
| * | | Improve debug logging a bitFlorian Diebold2019-08-122-4/+18
| | | |
| * | | Normalize associated types during inferenceFlorian Diebold2019-08-123-9/+25
| | | |
| * | | Lower fully qualified associated type pathsFlorian Diebold2019-08-125-23/+128
| | | | | | | | | | | | | | | | I.e. `<T as Trait>::Foo`.
| * | | Add representations of associated typesFlorian Diebold2019-08-123-0/+113
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This adds three different representations, copied from the Chalk model: - `Ty::Projection` is an associated type projection written somewhere in the code, like `<Foo as Trait>::Bar`. - `Ty::UnselectedProjection` is similar, but we don't know the trait yet (`Foo::Bar`). - The above representations are normalized to their actual types during type inference. When that isn't possible, for example for `T::Item` inside an `fn foo<T: Iterator>`, the type is normalized to an application type with `TypeCtor::AssociatedType`.
| * | | Add another test for assoc type resolutionFlorian Diebold2019-08-121-6/+46
|/ / /
* | | Merge #1683bors[bot]2019-08-122-24/+16
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1683: Use Source in Diagnostic r=matklad a=eupn Closes #1681. Co-authored-by: Evgenii P <[email protected]>
| * | | Use Source in Diagnostic and implementEvgenii P2019-08-122-24/+16
|/ / /
* | | Merge #1682bors[bot]2019-08-124-73/+4
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1682: Drop support for old extendSelection API r=matklad a=matklad Emacs now handles this via native LSP request https://github.com/emacs-lsp/lsp-mode/commit/dc86bbb227147aa8141e690ad5648fdbd2ebdb9f r? @flodiebold (Have not actually tried elisp code) Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Drop support for old extendSelection APIAleksey Kladov2019-08-124-73/+4
|/ / / | | | | | | | | | | | | | | | Emacs now handles this via native LSP request https://github.com/emacs-lsp/lsp-mode/commit/dc86bbb227147aa8141e690ad5648fdbd2ebdb9f
* | | Merge #1667bors[bot]2019-08-121-52/+43
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1667: Show backtraces in lens runnables r=matklad a=SomeoneToIgnore Co-authored-by: Kirill Bulatov <[email protected]>
| * | | Always set the runnable nameKirill Bulatov2019-08-091-11/+11
| | | |
| * | | Extract common logicKirill Bulatov2019-08-091-55/+42
| | | |
| * | | Show backtraces in lens runnablesKirill Bulatov2019-08-091-1/+5
| | |/ | |/|
* | | Merge #1675bors[bot]2019-08-121-17/+24
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | 1675: Improvements to emacs inlay hints r=matklad a=flodiebold - only send request if workspace is initialized (emacs-lsp doesn't seem to prevent sending requests before the initialized notification is sent) - check whether we're still in the correct buffer before sending request Co-authored-by: Florian Diebold <[email protected]>
| * | Improvements to emacs inlay hintsFlorian Diebold2019-08-101-17/+24
|/ / | | | | | | | | | | - only send request if workspace is initialized (emacs-lsp doesn't seem to prevent sending requests before the initialized notification is sent) - check whether we're still in the correct buffer before sending request
* | Merge #1673bors[bot]2019-08-0910-37/+52
|\ \ | | | | | | | | | | | | | | | | | | | | | 1673: Move numeric names inside of `NameRef` r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Move numeric names inside of `NameRef`Aleksey Kladov2019-08-0910-37/+52
|/ /
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 10:42:31 +0000