Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | diagnostics cli, iterate over members | Josh Mcguigan | 2020-04-15 | 1 | -1/+5 |
| | |||||
* | Move computation of missing fields into hir | Aleksey Kladov | 2020-04-07 | 1 | -22/+9 |
| | |||||
* | Cleanup checking for existing impls in impl From assist | Matthew Hall | 2020-04-02 | 1 | -33/+21 |
| | | | | | Use the trait solver to check if there's an existing implementation of From<type_in_enum_variant> for the enum. | ||||
* | Add impl From for enum variant assist | Matthew Hall | 2020-04-01 | 1 | -1/+33 |
| | | | | | | Basically adds a From impl for tuple enum variants with one field. Added to cover the fairly common case of implementing your own Error that can be created from another one, although other use cases exist. | ||||
* | fix typo of visibility_of | Edwin Cheng | 2020-03-25 | 1 | -1/+1 |
| | |||||
* | Add ItemScope::visibility_of | Edwin Cheng | 2020-03-24 | 1 | -0/+4 |
| | |||||
* | Use more generic public api | Kirill Bulatov | 2020-03-24 | 1 | -19/+2 |
| | |||||
* | Remove the upcast | Kirill Bulatov | 2020-03-24 | 1 | -3/+7 |
| | |||||
* | Auto import macros | Kirill Bulatov | 2020-03-24 | 1 | -12/+19 |
| | |||||
* | ra_hir: add more privacy for Type | veetaha | 2020-03-23 | 1 | -6/+14 |
| | |||||
* | ra_hir: migrate some stuff to matches!() | veetaha | 2020-03-22 | 1 | -18/+6 |
| | |||||
* | Use `dyn Trait` for working with databse | Aleksey Kladov | 2020-03-16 | 1 | -166/+163 |
| | | | | | | | It improves compile time in `--release` mode quite a bit, it doesn't really slow things down and, conceptually, it seems closer to what we want the physical architecture to look like (we don't want to monomorphise EVERYTHING in a single leaf crate). | ||||
* | Fix completion of HashMap::new | Florian Diebold | 2020-03-13 | 1 | -2/+10 |
| | | | | | | | | | | | | | | | The `ty` function in code_model returned the type with placeholders for type parameters. That's nice for printing, but not good for completion, because placeholders won't unify with anything else: So the type we got for `HashMap` was `HashMap<K, V, T>`, which doesn't unify with `HashMap<?, ?, RandomState>`, so the `new` method wasn't shown. Now we instead return `HashMap<{unknown}, {unknown}, {unknown}>`, which does unify with the impl type. Maybe we should just expose this properly as variables though, i.e. we'd return something like `exists<type, type, type> HashMap<?0, ?1, ?2>` (in Chalk notation). It'll make the API more complicated, but harder to misuse. (And it would handle cases like `type TypeAlias<T> = HashMap<T, T>` more correctly.) | ||||
* | Restore cargo-fmt gating | Aleksey Kladov | 2020-03-13 | 1 | -11/+7 |
| | |||||
* | fix issue 3444 | Josh Mcguigan | 2020-03-13 | 1 | -10/+38 |
| | |||||
* | Simplify | Aleksey Kladov | 2020-03-09 | 1 | -1/+1 |
| | |||||
* | Use `Index` for CrateGraph | Aleksey Kladov | 2020-03-09 | 1 | -5/+4 |
| | |||||
* | Merge #3519 | bors[bot] | 2020-03-09 | 1 | -5/+32 |
|\ | | | | | | | | | | | | | | | 3519: Show mod path on hover r=matklad a=SomeoneToIgnore Closes #1064 Co-authored-by: Kirill Bulatov <[email protected]> | ||||
| * | Less abstract CrateData api | Kirill Bulatov | 2020-03-09 | 1 | -5/+8 |
| | | |||||
| * | Show mod path in hover tooltip | Kirill Bulatov | 2020-03-07 | 1 | -0/+24 |
| | | |||||
* | | Handle visibility for assoc item path completion as well | Florian Diebold | 2020-03-08 | 1 | -8/+40 |
| | | |||||
* | | Handle visibility for path completion (not in all cases yet) | Florian Diebold | 2020-03-08 | 1 | -1/+11 |
| | | |||||
* | | Handle visibility in method call completion | Florian Diebold | 2020-03-07 | 1 | -0/+8 |
|/ | |||||
* | Refactor reference search a bit | Aleksey Kladov | 2020-03-03 | 1 | -1/+11 |
| | |||||
* | Rename ast::ImplBlock -> ast::ImplDef | Aleksey Kladov | 2020-02-29 | 1 | -18/+18 |
| | |||||
* | Minor | Aleksey Kladov | 2020-02-29 | 1 | -4/+3 |
| | |||||
* | Simplify SourceBinder | Aleksey Kladov | 2020-02-29 | 1 | -0/+1 |
| | |||||
* | Don't store deriveable Module info in NameDefinition | Aleksey Kladov | 2020-02-19 | 1 | -1/+28 |
| | |||||
* | More manual clippy fixes | Kirill Bulatov | 2020-02-18 | 1 | -21/+15 |
| | |||||
* | Run cargo +nightly fix --clippy -Z unstable-options | Kirill Bulatov | 2020-02-18 | 1 | -5/+5 |
| | |||||
* | show names for record fields in enum completion | adamrk | 2020-02-16 | 1 | -0/+5 |
| | |||||
* | Revert source_analyzer changes | Kirill Bulatov | 2020-02-12 | 1 | -1/+0 |
| | |||||
* | Fix post-rebase issues | Kirill Bulatov | 2020-02-12 | 1 | -11/+12 |
| | |||||
* | Support trait method call autoimports | Kirill Bulatov | 2020-02-12 | 1 | -1/+5 |
| | |||||
* | Trait location draft | Kirill Bulatov | 2020-02-12 | 1 | -11/+7 |
| | |||||
* | Add more hir APIs for associated items | Aleksey Kladov | 2020-02-12 | 1 | -10/+60 |
| | |||||
* | Formatting | Florian Diebold | 2020-02-07 | 1 | -6/+4 |
| | |||||
* | Fix compilation of other crates | Florian Diebold | 2020-02-07 | 1 | -10/+15 |
| | |||||
* | wip lower impl trait to type args | Florian Diebold | 2020-02-07 | 1 | -1/+1 |
| | |||||
* | Add impl trait lowering mode | Florian Diebold | 2020-02-07 | 1 | -6/+8 |
| | |||||
* | Introduce TyLoweringContext | Florian Diebold | 2020-02-07 | 1 | -4/+7 |
| | |||||
* | Auto import functions | Kirill Bulatov | 2020-02-01 | 1 | -6/+11 |
| | |||||
* | Don't parse child modules when doing diagnostics | Aleksey Kladov | 2020-01-15 | 1 | -3/+3 |
| | |||||
* | Move Type API to type | Aleksey Kladov | 2020-01-14 | 1 | -4/+70 |
| | |||||
* | Move impls_future to Type, where it belongs | Aleksey Kladov | 2020-01-14 | 1 | -2/+18 |
| | |||||
* | Use attr location for builtin macro goto-imp | Edwin Cheng | 2020-01-12 | 1 | -1/+23 |
| | |||||
* | Apply review suggestions | Florian Diebold | 2020-01-11 | 1 | -1/+3 |
| | |||||
* | Qualify some paths in 'add missing impl members' | Florian Diebold | 2020-01-11 | 1 | -0/+13 |
| | |||||
* | Add `profile` calls to {Module,Function}::diagnostics | Michal Terepeta | 2020-01-03 | 1 | -0/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | With this change the output `ra_prof` gives a better indication where the time is spent. Example output: ``` 213ms - publish_diagnostics 213ms - diagnostics 70ms - Module::from_definition 70ms - Module::from_file 132ms - Module::diagnostics 78ms - Function::diagnostics 0ms - body_with_source_map_query (1 calls) 2ms - trait_solve_query (1 calls) 76ms - ??? 15ms - Function::diagnostics 0ms - body_with_source_map_query (1 calls) 15ms - trait_solve_query (5 calls) 38ms - Function::diagnostics (51 calls) 8ms - parse_query (1 calls) ``` Signed-off-by: Michal Terepeta <[email protected]> | ||||
* | visible_from -> is_visible_from | Florian Diebold | 2019-12-27 | 1 | -2/+2 |
| |