Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge #1634 | bors[bot] | 2019-08-04 | 2 | -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 <[email protected]> | ||||
| * | rustfmt | Evgenii P | 2019-08-04 | 1 | -3/+1 |
| | | |||||
| * | Idiomatic return | Evgenii P | 2019-08-04 | 1 | -1/+1 |
| | | |||||
| * | Employ early return pattern more | Evgenii P | 2019-08-04 | 1 | -10/+8 |
| | | |||||
| * | source_binder.rs: fix order of imports | Evgenii P | 2019-08-04 | 1 | -9/+10 |
| | | |||||
| * | Use std::future::Future trait from stdlib | Evgenii P | 2019-08-03 | 1 | -21/+36 |
| | | |||||
| * | do fixup: remove unused import | Evgenii P | 2019-08-02 | 1 | -1/+1 |
| | | |||||
| * | Relax trait solving more for completion | Evgenii P | 2019-08-02 | 1 | -7/+1 |
| | | |||||
| * | Use future lang item instead of hardcoded std::future::Future | Evgenii P | 2019-08-02 | 1 | -31/+10 |
| | | |||||
| * | rustfmt | Evgenii P | 2019-08-02 | 2 | -13/+22 |
| | | |||||
| * | Implement completion for the .await syntax | Evgenii P | 2019-08-02 | 2 | -1/+52 |
| | | |||||
* | | Resolve out of line modules inside inline module with attribute path | Alexander Andreev | 2019-08-03 | 3 | -28/+70 |
|/ | | | | | Fixed #1510 Fixed #1529 | ||||
* | Merge #1604 | bors[bot] | 2019-07-29 | 1 | -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 <[email protected]> | ||||
| * | Move assist test, add literal type inference test | Phil Ellison | 2019-07-29 | 1 | -11/+15 |
| | | |||||
* | | Fixed request changes. | Alexander Andreev | 2019-07-29 | 1 | -9/+19 |
| | | |||||
* | | Added resolve modules inside inline module | Alexander Andreev | 2019-07-29 | 2 | -54/+147 |
|/ | | | | #1510 | ||||
* | show local variable types in completion | Ekaterina Babshukova | 2019-07-23 | 1 | -0/+8 |
| | |||||
* | Merge #1570 | bors[bot] | 2019-07-21 | 1 | -4/+2 |
|\ | | | | | | | | | | | | | | | 1570: switch to upstream rowan's API r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | streamline API | Aleksey Kladov | 2019-07-21 | 1 | -4/+2 |
| | | |||||
* | | provide completion in struct patterns | Ekaterina Babshukova | 2019-07-21 | 3 | -10/+23 |
|/ | |||||
* | Merge #1562 | bors[bot] | 2019-07-20 | 4 | -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 <[email protected]> | ||||
| * | infer type for await | Unreal Hoang | 2019-07-20 | 3 | -2/+78 |
| | | | | | | | | by projecting inner_ty to Future::Output alias | ||||
| * | add await expr to ast | Unreal Hoang | 2019-07-20 | 2 | -0/+11 |
| | | |||||
* | | rename range -> text_range | Aleksey Kladov | 2019-07-20 | 3 | -3/+3 |
| | | |||||
* | | move debug_dump to fmt::Debug | Aleksey Kladov | 2019-07-20 | 1 | -1/+1 |
|/ | |||||
* | flip syntax text to use internal iteration | Aleksey Kladov | 2019-07-19 | 1 | -1/+10 |
| | |||||
* | minor | Aleksey Kladov | 2019-07-19 | 1 | -5/+1 |
| | |||||
* | cleanup casts | Aleksey Kladov | 2019-07-19 | 2 | -9/+11 |
| | |||||
* | several highlighting cleanups | Aleksey Kladov | 2019-07-19 | 1 | -2/+13 |
| | | | | | | * make stuff more type-safe by using `BindPat` instead of just `Pat` * don't add `mut` into binding hash * reset shadow counter when we enter a function | ||||
* | migrate ra_hir to the new rowan | Aleksey Kladov | 2019-07-19 | 21 | -209/+205 |
| | |||||
* | use Parse in mbe | Aleksey Kladov | 2019-07-18 | 2 | -9/+9 |
| | |||||
* | highlight mutable variables differently | Ekaterina Babshukova | 2019-07-18 | 1 | -0/+1 |
| | |||||
* | use more correct phantom types for ptrs | Aleksey Kladov | 2019-07-18 | 1 | -1/+1 |
| | |||||
* | Switch to Chalk master, without fuel | Florian Diebold | 2019-07-15 | 1 | -1/+1 |
| | |||||
* | Remove blacklist, instead mark `Sized` as non-enumerable | Florian Diebold | 2019-07-15 | 1 | -17/+3 |
| | | | | | This seems to be enough to prevent hanging in rust-analyzer, Chalk and the rustc repo. | ||||
* | Cargo update, including updating Chalk | Florian Diebold | 2019-07-14 | 1 | -0/+2 |
| | |||||
* | Have InferenceContext contain an InferenceResult instead of duplicating all ↵ | Florian Diebold | 2019-07-14 | 1 | -36/+19 |
| | | | | fields | ||||
* | Some renamings for clarity | Florian Diebold | 2019-07-14 | 8 | -24/+27 |
| | |||||
* | Fixed request comments | Alexander Andreev | 2019-07-14 | 2 | -66/+72 |
| | |||||
* | Fixed comments | Alexander Andreev | 2019-07-13 | 1 | -2/+2 |
| | |||||
* | More resolution modules with attribute path | Alexander Andreev | 2019-07-13 | 2 | -4/+521 |
| | | | | #1211 | ||||
* | complete fields in enum variants | Ekaterina Babshukova | 2019-07-12 | 4 | -1/+28 |
| | |||||
* | make Parse fields private | Aleksey Kladov | 2019-07-12 | 4 | -5/+6 |
| | | | | this is in preparation for the new rowan API | ||||
* | fix profile name | Aleksey Kladov | 2019-07-09 | 1 | -1/+1 |
| | |||||
* | Merge #1515 | bors[bot] | 2019-07-09 | 10 | -117/+285 |
|\ | | | | | | | | | | | | | | | | | | | | | | | 1515: Trait environment r=matklad a=flodiebold This adds the environment, i.e. the set of `where` clauses in scope, when solving trait goals. That means that e.g. in ```rust fn foo<T: SomeTrait>(t: T) {} ``` , we are able to complete methods of `SomeTrait` on the `t`. This affects the trait APIs quite a bit (since every method that needs to be able to solve for some trait needs to get this environment somehow), so I thought I'd do it rather sooner than later ;) Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | Unify `normalize` and `implements` to simplify code | Florian Diebold | 2019-07-08 | 8 | -105/+66 |
| | | |||||
| * | Use environment for associated type normalization as well | Florian Diebold | 2019-07-08 | 7 | -20/+52 |
| | | |||||
| * | Start handling environment in trait resolution | Florian Diebold | 2019-07-08 | 6 | -14/+103 |
| | | | | | | | | | | I.e. if we are inside a function with some where clauses, we assume these where clauses hold. | ||||
| * | Refactor a bit & introduce Environment struct | Florian Diebold | 2019-07-08 | 7 | -21/+107 |
| | | |||||
* | | Merge #1512 | bors[bot] | 2019-07-09 | 3 | -17/+106 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1512: Infer ? operator r=unrealhoang a=unrealhoang Logical continuation of https://github.com/rust-analyzer/rust-analyzer/pull/1501 cc https://github.com/rust-analyzer/rust-analyzer/issues/1426 Co-authored-by: Unreal Hoang <[email protected]> |