Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update the rest of the tests | Aleksey Kladov | 2020-06-29 | 1 | -25/+21 |
| | |||||
* | (T): make typification tests more data driven | Aleksey Kladov | 2020-06-29 | 1 | -0/+16 |
| | |||||
* | Remove unneeded code, filename from tests, fix rebasing issues | Paul Daniel Faria | 2020-06-27 | 1 | -5/+0 |
| | |||||
* | Track expr parents during lowering, use parent map when checking if unsafe ↵ | Paul Daniel Faria | 2020-06-27 | 1 | -1/+1 |
| | | | | exprs are within unsafe blocks | ||||
* | Address review comments, have MissingUnsafe diagnostic point to each unsafe ↵ | Paul Daniel Faria | 2020-06-27 | 1 | -3/+3 |
| | | | | use, update tests | ||||
* | Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe ↵ | Paul Daniel Faria | 2020-06-27 | 1 | -1/+21 |
| | | | | exprs within unsafe block | ||||
* | Add missing self param to test | Paul Daniel Faria | 2020-06-27 | 1 | -1/+1 |
| | |||||
* | Remove UnnecessaryUnsafe diagnostic, Fix Expr::Call unsafe analysis | Paul Daniel Faria | 2020-06-27 | 1 | -21/+7 |
| | |||||
* | Add tests covering unsafe blocks, more attempts to get call expr tests passing | Paul Daniel Faria | 2020-06-27 | 1 | -0/+70 |
| | |||||
* | Move diagnostics back into expr, add tests for diagnostics, fix logic to ↵ | Paul Daniel Faria | 2020-06-27 | 1 | -0/+78 |
| | | | | account for derefs of raw ptrs | ||||
* | Remove file id from item tree | Jonas Schievink | 2020-06-24 | 1 | -3/+3 |
| | | | | It's not needed, and `source` is only used by tests anyways | ||||
* | draw the rest of the owl | Jonas Schievink | 2020-06-24 | 1 | -5/+11 |
| | |||||
* | Merge #4175 | bors[bot] | 2020-05-09 | 1 | -2/+15 |
|\ | | | | | | | | | | | | | | | | | | | | | | | 4175: Introduce HirDisplay method for rendering source code & use it in add_function assist r=flodiebold a=TimoFreiberg Next feature for #3639. So far the only change in the new `HirDisplay` method is that paths are qualified, but more changes will be necessary (omitting the function name from function types, returning an error instead of printing `"{unknown}"`, probably more). Is that approach okay? Co-authored-by: Timo Freiberg <[email protected]> | ||||
| * | New HirDisplay method for displaying sourcecode | Timo Freiberg | 2020-05-08 | 1 | -2/+15 |
| | | |||||
* | | Add diagnostic for break outside of loop | Florian Diebold | 2020-05-08 | 1 | -0/+18 |
|/ | |||||
* | add support of cfg attributes on enum variants #4279 | Benjamin Coenen | 2020-05-03 | 1 | -0/+27 |
| | | | | Signed-off-by: Benjamin Coenen <[email protected]> | ||||
* | add support for cfg feature attributes on expression #4063 | Benjamin Coenen | 2020-04-25 | 1 | -0/+32 |
| | | | | Signed-off-by: Benjamin Coenen <[email protected]> | ||||
* | Convert code to text-size | Aleksey Kladov | 2020-04-25 | 1 | -2/+2 |
| | |||||
* | Fully get rid of SyntaxNodePtr::range | Aleksey Kladov | 2020-04-23 | 1 | -20/+32 |
| | |||||
* | Remove dead code | Aleksey Kladov | 2020-04-11 | 1 | -3/+1 |
| | |||||
* | Forward compat | Aleksey Kladov | 2020-04-10 | 1 | -1/+1 |
| | |||||
* | add record pat missing field diagnostic | Josh Mcguigan | 2020-04-10 | 1 | -0/+40 |
| | |||||
* | Simpler acessors for keywords | Aleksey Kladov | 2020-04-09 | 1 | -2/+2 |
| | |||||
* | Merge #3918 | bors[bot] | 2020-04-09 | 1 | -0/+60 |
|\ | | | | | | | | | | | | | | | | | 3918: Add support for feature attributes in struct literal r=matklad a=bnjjj As promised here is the next PR to solve 2 different scenarios with feature flag on struct literal. close #3870 Co-authored-by: Benjamin Coenen <[email protected]> | ||||
| * | feat: add support for feature attributes in struct literal | Benjamin Coenen | 2020-04-09 | 1 | -3/+3 |
| |\ | | | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]> | ||||
| * | | feat: add support for feature attributes in struct literal | Benjamin Coenen | 2020-04-09 | 1 | -0/+60 |
| | | | | | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]> | ||||
* | | | Add _token suffix to token accessors | Aleksey Kladov | 2020-04-09 | 1 | -1/+1 |
| |/ |/| | | | | | | | I think this makes is more clear which things are : AstNode and which are : AstToken | ||||
* | | Provide more complete AST accessors to support usage in rustc | Luca Barbieri | 2020-04-09 | 1 | -2/+2 |
|/ | |||||
* | feat: add attributes support on struct fields and method #3870 | Benjamin Coenen | 2020-04-09 | 1 | -1/+1 |
|\ | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]> | ||||
* | | feat: add attributes support on struct fields and method #3870 | Benjamin Coenen | 2020-04-08 | 1 | -4/+5 |
| | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]> | ||||
* | | Merge branch 'master' of github.com:rust-analyzer/rust-analyzer | Benjamin Coenen | 2020-04-07 | 1 | -1/+2 |
|\| | |||||
| * | missing match arms diagnostic | Josh Mcguigan | 2020-04-07 | 1 | -1/+2 |
| | | |||||
* | | feat: add attributes support on struct fields #3870 | Benjamin Coenen | 2020-04-07 | 1 | -0/+29 |
|/ | | | | Signed-off-by: Benjamin Coenen <[email protected]> | ||||
* | Remove some unwraps | Aleksey Kladov | 2020-03-28 | 1 | -14/+12 |
| | |||||
* | Source map returns a result | Aleksey Kladov | 2020-03-06 | 1 | -6/+11 |
| | | | | cc #2236 | ||||
* | Basic injections | Aleksey Kladov | 2020-02-27 | 1 | -2/+2 |
| | |||||
* | More manual clippy fixes | Kirill Bulatov | 2020-02-18 | 1 | -4/+4 |
| | |||||
* | Don't add non-impl/trait containers to scope | Aleksey Kladov | 2019-12-29 | 1 | -23/+57 |
| | |||||
* | Move impls to ItemScope | Aleksey Kladov | 2019-12-20 | 1 | -1/+1 |
| | |||||
* | Merge #2484 | bors[bot] | 2019-12-06 | 1 | -3/+5 |
|\ | | | | | | | | | | | | | | | | | | | 2484: DynMap r=matklad a=matklad Implement a `DynMap` a semi-dynamic, semi-static map, which helps to thread heterogeneously typed info in a uniform way. Totally inspired by https://github.com/JetBrains/kotlin/blob/df3bee30384787d8951ea548a4257c2cb52a16a3/compiler/frontend/src/org/jetbrains/kotlin/resolve/BindingContext.java. @flodiebold wdyt? Seems like a potentially useful pattern for various source-map-like things. Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | DynMap | Aleksey Kladov | 2019-12-06 | 1 | -3/+5 |
| | | | | | | | | | | This might, or might not help us to reduce boilerplate associated with plumbing values from analysis to the IDE layer | ||||
* | | Don't unify within a reference | Florian Diebold | 2019-12-06 | 1 | -0/+26 |
|/ | | | | | | | If we are expecting a `&Foo` and get a `&something`, when checking the `something`, we are *expecting* a `Foo`, but we shouldn't try to unify whatever we get with that expectation, because it could actually be a `&Foo`, and `&&Foo` coerces to `&Foo`. So this fixes quite a few false type mismatches. | ||||
* | Simplify test | Aleksey Kladov | 2019-12-05 | 1 | -13/+10 |
| | |||||
* | Split up ty tests a bit | Florian Diebold | 2019-12-03 | 1 | -4902/+6 |
| | |||||
* | Fix #2467 | Florian Diebold | 2019-12-03 | 1 | -0/+47 |
| | | | | | The stand-alone `unify` requires that the type doesn't contain any type variables. So we can't share the code here for now (without more refactoring)... | ||||
* | Add tests for checking the impl self type | Florian Diebold | 2019-12-02 | 1 | -0/+14 |
| | |||||
* | Refactor a bit | Florian Diebold | 2019-12-02 | 1 | -0/+15 |
| | |||||
* | Change order of calls to get method candidate order correct | Florian Diebold | 2019-12-02 | 1 | -2/+0 |
| | |||||
* | Merge #2455 | bors[bot] | 2019-12-01 | 1 | -0/+36 |
|\ | | | | | | | | | | | | | | | | | | | 2455: Add BuiltinShadowMode r=flodiebold a=edwin0cheng This PR try to fix #1905 by introduce an `BuiltinShadowMode` in name resolving functions. cc @flodiebold Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Add BuiltinShadowMode | Edwin Cheng | 2019-11-30 | 1 | -0/+36 |
| | |