Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | Remove unused dependencies | Shotaro Yamada | 2019-07-08 | 1 | -2/+0 |
| | |||||
* | cargo format | Muhammad Mominul Huque | 2019-07-07 | 6 | -14/+14 |
| | |||||
* | Constify KnownName's | Muhammad Mominul Huque | 2019-07-07 | 9 | -154/+72 |
| | |||||
* | 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 | 6 | -108/+240 |
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | 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 | 3 | -6/+22 |
| | | | | | | | | #1211 | ||||
* | | 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 | 1 | -1/+17 |
|\ | | | | | | | | | | | | | | | 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 | 1 | -1/+17 |
| | | | | | | | | 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 | 7 | -17/+17 |
|/ | |||||
* | Merge #1491 | bors[bot] | 2019-07-05 | 2 | -17/+17 |
|\ | | | | | | | | | | | | | | | | | | | 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]> | ||||
| * | &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 | 2 | -4/+4 |
| | | |||||
* | | Fix clippy::redundant_clone | Shotaro Yamada | 2019-07-05 | 2 | -3/+2 |
|/ | |||||
* | Some clippy fixes for 1.36 | Jeremy Kolb | 2019-07-04 | 9 | -30/+24 |
| | |||||
* | Merge #1486 | bors[bot] | 2019-07-04 | 35 | -240/+267 |
|\ | | | | | | | | | | | | | | | 1486: allow rustfmt to reorder imports r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 35 | -240/+267 |
| | | | | | | | | | | | | This wasn't a right decision in the first place, the feature flag was broken in the last rustfmt release, and syntax highlighting of imports is more important anyway | ||||
* | | Fixed request changes | Alexander Andreev | 2019-07-03 | 2 | -6/+5 |
| | | |||||
* | | Move resolve raw name in name.rs | Alexander Andreev | 2019-07-03 | 3 | -11/+40 |
| | | | | | | | | Added test for check module resolution with raw name | ||||
* | | Added resolve submodules with raw name | Alexander Andreev | 2019-07-03 | 1 | -0/+9 |
|/ | | | | #1211 | ||||
* | Add completion for type aliases | Shotaro Yamada | 2019-07-02 | 1 | -0/+4 |
| | |||||
* | put source maps first for better stats | Aleksey Kladov | 2019-06-30 | 1 | -6/+6 |
| | |||||
* | print memory usage for queries | Aleksey Kladov | 2019-06-30 | 1 | -0/+4 |
| | |||||
* | Complete associated methods on enums (and unions) as well | Florian Diebold | 2019-06-29 | 1 | -0/+4 |
| | |||||
* | make sure that CrateDefMap is independent from syntax | Aleksey Kladov | 2019-06-26 | 6 | -48/+54 |
| | |||||
* | cache chalk queries | Aleksey Kladov | 2019-06-26 | 3 | -194/+240 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | This gives a significant speedup, because chalk will call these functions several times even withing a single revision. The only significant one here is `impl_data`, but I figured it might be good to cache others just for consistency. The results I get are: Before: from scratch: 16.081457952s no change: 15.846493ms trivial change: 352.95592ms comment change: 361.998408ms const change: 457.629212ms After: from scratch: 14.910610278s no change: 14.934647ms trivial change: 85.633023ms comment change: 96.433023ms const change: 171.543296ms Seems like a nice win! | ||||
* | Add comment | Shotaro Yamada | 2019-06-25 | 1 | -6/+8 |
| | |||||
* | Method resolution for slices | Shotaro Yamada | 2019-06-24 | 1 | -25/+36 |
| | |||||
* | Bump cargo_metadata, ena, flexi_logger | kjeremy | 2019-06-20 | 1 | -2/+2 |
| | |||||
* | Add firewall query to lang items | Aleksey Kladov | 2019-06-19 | 3 | -17/+38 |
| | | | | | With an intermediate query, changing one module won't cause reparsing of all modules | ||||
* | rename XSignature -> XData | Aleksey Kladov | 2019-06-18 | 6 | -59/+55 |
| | |||||
* | Add test for autoderef infinite recursion | Florian Diebold | 2019-06-16 | 1 | -0/+25 |
| | |||||
* | Simplifications / cleanup from review | Florian Diebold | 2019-06-16 | 7 | -38/+31 |
| | |||||
* | Some more cleanup | Florian Diebold | 2019-06-15 | 1 | -4/+4 |
| | |||||
* | Check that Deref has the right number of parameters | Florian Diebold | 2019-06-15 | 1 | -2/+7 |
| | |||||
* | Somewhat handle variables in the derefed type, and add another test | Florian Diebold | 2019-06-15 | 3 | -5/+61 |
| | |||||
* | Implement * operation using Deref trait | Florian Diebold | 2019-06-15 | 1 | -3/+5 |
| | |||||
* | Implement autoderef using the Deref trait | Florian Diebold | 2019-06-15 | 8 | -44/+149 |
| | | | | - add support for other lang item targets, since we need the Deref lang item | ||||
* | Add basic infrastructure for assoc type projection | Florian Diebold | 2019-06-15 | 8 | -21/+189 |
| | |||||
* | Add test for Deref | Florian Diebold | 2019-06-15 | 1 | -0/+29 |
| | |||||
* | check for cancellation when executing queries | Aleksey Kladov | 2019-06-12 | 4 | -4/+0 |
| | | | | | | | Note that we can't just remove CheckCanceled trait altogether: sometimes it's useful to check for cancellation while the query is running! We do this, for example, in the name resolution fixed-point loop. |