Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | | |||||
* | | Add cycle recovery for type aliases | Florian Diebold | 2019-11-30 | 1 | -2/+4 |
| | | |||||
* | | Add cycle recovery for generic predicates | Florian Diebold | 2019-11-30 | 1 | -8/+0 |
| | | |||||
* | | Handle cycles in impl types better | Florian Diebold | 2019-11-30 | 1 | -0/+42 |
| | | | | | | | | | | | | - impl Trait<Self> for S is allowed - impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for it in Salsa now | ||||
* | | Infer range types | oxalica | 2019-11-28 | 1 | -0/+50 |
|/ | |||||
* | Rename Source -> InFile | Aleksey Kladov | 2019-11-28 | 1 | -2/+2 |
| | |||||
* | Rename module_id -> local_id | Aleksey Kladov | 2019-11-27 | 1 | -5/+5 |
| | |||||
* | Move Ty | Aleksey Kladov | 2019-11-27 | 1 | -0/+4958 |