Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Resolve a FIXME | Pascal Hertleif | 2019-07-10 | 1 | -3/+1 |
| | | | | Now that we are using a newer smol_str release this can be simplified :) | ||||
* | fix profile name | Aleksey Kladov | 2019-07-09 | 1 | -1/+1 |
| | |||||
* | Merge #1515 | bors[bot] | 2019-07-09 | 11 | -119/+286 |
|\ | | | | | | | | | | | | | | | | | | | | | | | 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 | 9 | -107/+67 |
| | | |||||
| * | 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]> | ||||
| * | | beautify tests | Unreal Hoang | 2019-07-09 | 1 | -20/+36 |
| | | | |||||
| * | | use namespaced consts for KnownName | Unreal Hoang | 2019-07-08 | 1 | -12/+10 |
| | | | |||||
| * | | projection over std::ops::Try::Ok to infer try/? | Unreal Hoang | 2019-07-08 | 3 | -2/+77 |
| | | | |||||
* | | | Look for the fXX_runtime lang items during method resolution. | Marco Groppo | 2019-07-08 | 1 | -4/+6 |
| |/ |/| | |||||
* | | Remove unused dependencies | Shotaro Yamada | 2019-07-08 | 8 | -19/+0 |
|/ | |||||
* | don't send LocationLink unless the client opts-in | Aleksey Kladov | 2019-07-08 | 5 | -12/+62 |
| | | | | closes #1474 | ||||
* | simplify | Aleksey Kladov | 2019-07-08 | 2 | -23/+20 |
| | |||||
* | add try_conv_with_to_vec | Aleksey Kladov | 2019-07-08 | 2 | -40/+54 |
| | |||||
* | Merge #1504 | bors[bot] | 2019-07-08 | 4 | -38/+30 |
|\ | | | | | | | | | | | | | | | 1504: Simplify LSP handlers r=matklad a=kjeremy Takes advantage of protocol inheritance via composition and simplifies some responses via the `From`/`Into` traits. Co-authored-by: Jeremy Kolb <[email protected]> | ||||
| * | Simplify responses by using into() | Jeremy Kolb | 2019-07-07 | 3 | -13/+14 |
| | | |||||
| * | use flatten branch of lsp-types | Jeremy Kolb | 2019-07-07 | 4 | -27/+18 |
| | | |||||
* | | cargo format | Muhammad Mominul Huque | 2019-07-07 | 6 | -14/+14 |
| | | |||||
* | | Constify KnownName's | Muhammad Mominul Huque | 2019-07-07 | 10 | -155/+73 |
|/ | |||||
* | Merge #1501 | bors[bot] | 2019-07-07 | 5 | -35/+170 |
|\ | | | | | | | | | | | | | | | 1501: Infer for loop variable r=flodiebold a=unrealhoang My take on https://github.com/rust-analyzer/rust-analyzer/issues/1425 Co-authored-by: Unreal Hoang <[email protected]> | ||||
| * | add projection to infer for loop variable | Unreal Hoang | 2019-07-07 | 5 | -35/+170 |
| | | |||||
* | | Merge #1499 | bors[bot] | 2019-07-07 | 7 | -109/+241 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1499: processing attribute #[path] of module r=matklad a=andreevlex support two cases - simple name file `foo.rs` - declaration in mod.rs #1211 Co-authored-by: Alexander Andreev <[email protected]> | ||||
| * | | Moved module resolution test in mods.rs | Alexander Andreev | 2019-07-07 | 4 | -193/+195 |
| | | | |||||
| * | | Added support attribute path in resolusion module fn | Alexander Andreev | 2019-07-06 | 2 | -5/+119 |
| | | | |||||
| * | | Added extract path attribute for current module | Alexander Andreev | 2019-07-06 | 4 | -7/+23 |
| | | | | | | | | | | | | #1211 | ||||
* | | | inline snapshot in complete_postfix | funkill2 | 2019-07-07 | 2 | -75/+71 |
| |/ |/| | |||||
* | | Make EnumVariant a GenericDef and simplify some code | Florian Diebold | 2019-07-06 | 4 | -14/+21 |
| | | |||||
* | | Add trait obligations for where clauses when calling functions/methods | Florian Diebold | 2019-07-06 | 7 | -34/+156 |
|/ | | | | | E.g. if we call `foo<T: Into<u32>>(x)`, that adds an obligation that `x: Into<u32>`, etc. | ||||
* | Merge #1495 | bors[bot] | 2019-07-05 | 2 | -9/+22 |
|\ | | | | | | | | | | | | | | | 1495: use correct file for diagnostics r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | use correct file for diagnostics | Aleksey Kladov | 2019-07-05 | 2 | -9/+22 |
| | | | | | | | | closes #1475 | ||||
* | | Merge #1494 | bors[bot] | 2019-07-05 | 1 | -1/+6 |
|\| | | | | | | | | | | | | | | | 1494: properly restrict diagnostics to a single file r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | properly restrict diagnostics to a single file | Aleksey Kladov | 2019-07-05 | 1 | -1/+6 |
| | | |||||
* | | Clippy trivially_copy_pass_by_ref | Jeremy Kolb | 2019-07-05 | 11 | -30/+30 |
|/ | |||||
* | Merge #1491 | bors[bot] | 2019-07-05 | 5 | -36/+34 |
|\ | | | | | | | | | | | | | | | | | | | 1491: More clippy r=matklad a=kjeremy A few more clippy changes. I'm a little unsure of the second commit. It's the trivially_copy_pass_by_ref lint and there are a number of places in the code we could use it if it makes sense. Co-authored-by: Jeremy Kolb <[email protected]> | ||||
| * | readability | Jeremy Kolb | 2019-07-05 | 1 | -1/+4 |
| | | |||||
| * | &self -> self | Jeremy Kolb | 2019-07-05 | 1 | -13/+13 |
| | | | | | | | | https://rust-lang.github.io/rust-clippy/master/index.html#trivially_copy_pass_by_ref | ||||
| * | Clippy changes | Jeremy Kolb | 2019-07-05 | 6 | -27/+22 |
| | | |||||
* | | Fix clippy::redundant_clone | Shotaro Yamada | 2019-07-05 | 4 | -6/+5 |
|/ | |||||
* | Formatting again | Jeremy Kolb | 2019-07-05 | 1 | -5/+5 |
| | |||||
* | Symplify by using into() | Jeremy Kolb | 2019-07-05 | 1 | -3/+3 |
| | |||||
* | Formatting | Jeremy Kolb | 2019-07-04 | 1 | -1/+3 |
| | |||||
* | Some clippy fixes for 1.36 | Jeremy Kolb | 2019-07-04 | 31 | -70/+62 |
| | |||||
* | Fix formatting | Jeremy Kolb | 2019-07-04 | 1 | -5/+5 |
| | |||||
* | Change default() | Jeremy Kolb | 2019-07-04 | 1 | -1/+1 |
| | |||||
* | Update to lsp-types 0.58.0 | Jeremy Kolb | 2019-07-04 | 3 | -7/+7 |
| | |||||
* | Merge #1485 | bors[bot] | 2019-07-04 | 1 | -1/+1 |
|\ | | | | | | | | | | | | | | | 1485: rand 0.7.0 r=matklad a=kjeremy Co-authored-by: Jeremy Kolb <[email protected]> | ||||
| * | rand 0.7.0 | Jeremy Kolb | 2019-07-04 | 1 | -1/+1 |
| | | |||||
* | | Merge #1486 | bors[bot] | 2019-07-04 | 165 | -787/+772 |
|\ \ | |/ |/| | | | | | | | | | | | 1486: allow rustfmt to reorder imports r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> |