aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir
Commit message (Collapse)AuthorAgeFilesLines
* remove ast::*Kind from hirAleksey Kladov2019-08-196-83/+86
|
* 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-173-69/+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.
* Merge #1691bors[bot]2019-08-161-0/+9
|\ | | | | | | | | | | | | | | 1691: Show inherent and trait impls of structs and enums r=viorina a=viorina Co-authored-by: Ekaterina Babshukova <ekaterina.babshukova@yandex.ru>
| * show inherent and trait impls of structs and enumsEkaterina Babshukova2019-08-161-0/+9
| |
* | implement durabilityAleksey Kladov2019-08-152-1/+3
| |
* | switch from volatile to untracked readAleksey Kladov2019-08-152-22/+41
|/
* 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-123-23/+117
| | | | 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
|
* Use Source in Diagnostic and implementEvgenii P2019-08-121-23/+15
|
* implement while let desugaringAleksey Kladov2019-08-073-14/+47
|
* refactor if-let loweringAleksey Kladov2019-08-071-19/+25
| | | | mainly to get rid of unwraps
* refactor if loweringAleksey Kladov2019-08-071-17/+14
|
* Merge #1634bors[bot]2019-08-042-2/+47
|\ | | | | | | | | | | | | | | | | | | 1634: Implement .await completion for futures r=flodiebold a=eupn Closes #1263 with completion for `.await` syntax for types that are implementing `std::future::Future` trait. r? @flodiebold Co-authored-by: Evgenii P <eupn@protonmail.com>
| * rustfmtEvgenii P2019-08-041-3/+1
| |
| * Idiomatic returnEvgenii P2019-08-041-1/+1
| |
| * Employ early return pattern moreEvgenii P2019-08-041-10/+8
| |
| * source_binder.rs: fix order of importsEvgenii P2019-08-041-9/+10
| |
| * Use std::future::Future trait from stdlibEvgenii P2019-08-031-21/+36
| |
| * do fixup: remove unused importEvgenii P2019-08-021-1/+1
| |
| * Relax trait solving more for completionEvgenii P2019-08-021-7/+1
| |
| * Use future lang item instead of hardcoded std::future::FutureEvgenii P2019-08-021-31/+10
| |
| * rustfmtEvgenii P2019-08-022-13/+22
| |
| * Implement completion for the .await syntaxEvgenii P2019-08-022-1/+52
| |
* | Merge #1640bors[bot]2019-08-041-1/+1
|\ \ | | | | | | | | | | | | | | | | | | | | | 1640: Bump deps r=matklad a=lnicola `insta`, `unicode-xid` and others Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>
| * | Bump depsLaurențiu Nicola2019-08-041-1/+1
| |/
* / Resolve out of line modules inside inline module with attribute pathAlexander Andreev2019-08-033-28/+70
|/ | | | | Fixed #1510 Fixed #1529
* Update insta to 0.9.0 and cargo updatekjeremy2019-07-311-1/+1
|
* Merge #1604bors[bot]2019-07-291-11/+15
|\ | | | | | | | | | | | | | | 1604: Fix failing type interference for floating point literal r=matklad a=theotherphil Fixes https://github.com/rust-analyzer/rust-analyzer/issues/1592 Co-authored-by: Phil Ellison <phil.j.ellison@gmail.com>
| * Move assist test, add literal type inference testPhil Ellison2019-07-291-11/+15
| |
* | Fixed request changes.Alexander Andreev2019-07-291-9/+19
| |
* | Added resolve modules inside inline moduleAlexander Andreev2019-07-292-54/+147
|/ | | | #1510
* show local variable types in completionEkaterina Babshukova2019-07-231-0/+8
|
* Merge #1570bors[bot]2019-07-211-4/+2
|\ | | | | | | | | | | | | | | 1570: switch to upstream rowan's API r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * streamline APIAleksey Kladov2019-07-211-4/+2
| |
* | provide completion in struct patternsEkaterina Babshukova2019-07-213-10/+23
|/
* Merge #1562bors[bot]2019-07-204-0/+87
|\ | | | | | | | | | | | | | | | | 1562: Continue support for .await r=matklad a=unrealhoang - add await expr to ast and HIR Expr - infer type for `.await` Co-authored-by: Unreal Hoang <unrealhoang@gmail.com>
| * infer type for awaitUnreal Hoang2019-07-203-2/+78
| | | | | | | | by projecting inner_ty to Future::Output alias
| * add await expr to astUnreal Hoang2019-07-202-0/+11
| |
* | rename range -> text_rangeAleksey Kladov2019-07-203-3/+3
| |
* | move debug_dump to fmt::DebugAleksey Kladov2019-07-201-1/+1
|/
* flip syntax text to use internal iterationAleksey Kladov2019-07-191-1/+10
|
* minorAleksey Kladov2019-07-191-5/+1
|
* cleanup castsAleksey Kladov2019-07-192-9/+11
|