Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Format & replace todos with 'fixme' | Zac Pullar-Strecker | 2020-06-30 | 1 | -9/+13 |
| | |||||
* | Move resolver into impls, work on tests | Zac Pullar-Strecker | 2020-06-30 | 1 | -12/+25 |
| | |||||
* | (Partially) fix handling of type params depending on type params | Florian Diebold | 2020-06-29 | 1 | -3/+6 |
| | | | | | | | | If the first type parameter gets inferred, that's still not handled correctly; it'll require some more refactoring: E.g. if we have `Thing<T, F=fn() -> T>` and then instantiate `Thing<_>`, that gets turned into `Thing<_, fn() -> _>` before the `_` is instantiated into a type variable -- so afterwards, we have two type variables without any connection to each other. | ||||
* | Remove unneeded code, filename from tests, fix rebasing issues | Paul Daniel Faria | 2020-06-27 | 1 | -2/+6 |
| | |||||
* | Revert ide highlighting changes (addressing on another branch) | Paul Daniel Faria | 2020-06-27 | 1 | -4/+0 |
| | |||||
* | Add HighlightTag::Operator, use it for unsafe deref. Move unsafe validation ↵ | Paul Daniel Faria | 2020-06-27 | 1 | -3/+5 |
| | | | | to its own file | ||||
* | Move diagnostics back into expr, add tests for diagnostics, fix logic to ↵ | Paul Daniel Faria | 2020-06-27 | 1 | -3/+2 |
| | | | | account for derefs of raw ptrs | ||||
* | Add unsafe diagnostics and unsafe highlighting | Paul Daniel Faria | 2020-06-27 | 1 | -1/+4 |
| | |||||
* | draw the rest of the owl | Jonas Schievink | 2020-06-24 | 1 | -6/+4 |
| | |||||
* | Apply suggestions from code review | vsrs | 2020-06-18 | 1 | -35/+50 |
| | |||||
* | Add Type::walk method | vsrs | 2020-06-18 | 1 | -71/+59 |
| | |||||
* | Remove AdtOrTrait | vsrs | 2020-06-18 | 1 | -29/+22 |
| | |||||
* | Fix type "items" order. | vsrs | 2020-06-18 | 1 | -7/+18 |
| | |||||
* | Add `Go to Type Definition` hover action. | vsrs | 2020-06-18 | 1 | -2/+106 |
| | |||||
* | Respect casing when searching for imports | Jonas Schievink | 2020-06-10 | 1 | -1/+1 |
| | |||||
* | Limit import map queries | Jonas Schievink | 2020-06-10 | 1 | -6/+10 |
| | |||||
* | ra_hir: expose `import_map::search_dependencies` | Jonas Schievink | 2020-06-10 | 1 | -0/+14 |
| | |||||
* | Add highlight support for unsafe fn calls and raw ptr deref | Paul Daniel Faria | 2020-06-02 | 1 | -0/+8 |
| | |||||
* | Merge #4592 | bors[bot] | 2020-05-27 | 1 | -0/+1 |
|\ | | | | | | | | | | | | | | | 4592: fix textedit range returned for completion when left token is a keyword r=bnjjj a=bnjjj close #4545 Co-authored-by: Benjamin Coenen <[email protected]> | ||||
| * | fix textedit range returned for completion when left token is a keyword #4545 | Benjamin Coenen | 2020-05-24 | 1 | -0/+1 |
| | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]> | ||||
* | | Pass trivially copy types as copy | kjeremy | 2020-05-26 | 1 | -9/+9 |
|/ | |||||
* | Ty -> Type | Fedor Sakharov | 2020-05-14 | 1 | -2/+7 |
| | |||||
* | Adds a param_idx helper | Fedor Sakharov | 2020-05-14 | 1 | -2/+2 |
| | |||||
* | Use generic_defaults and display_source_code | Fedor Sakharov | 2020-05-14 | 1 | -3/+4 |
| | |||||
* | Correctly fill default type parameters | Fedor Sakharov | 2020-05-13 | 1 | -0/+5 |
| | |||||
* | Merge #4421 | bors[bot] | 2020-05-11 | 1 | -0/+20 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | 4421: Find references to a function outside module r=flodiebold a=montekki Fixes #4188 Yet again, it looks like although the code in https://github.com/rust-analyzer/rust-analyzer/blob/da1f316b0246ce41d7cb8560181e294089f06ef3/crates/ra_ide_db/src/search.rs#L128-L132 may be wrong, it is not hit since the `vis` is `None` at this point. The fix is similar to the #4237 case: just add another special case to `Definition::visibility()`. Co-authored-by: Fedor Sakharov <[email protected]> | ||||
| * | New definition_visibility method | Fedor Sakharov | 2020-05-11 | 1 | -0/+20 |
| | | |||||
* | | Highlight mutable statics as mutable | Matthew Jasper | 2020-05-10 | 1 | -0/+4 |
|/ | |||||
* | New HirDisplay method for displaying sourcecode | Timo Freiberg | 2020-05-08 | 1 | -3/+6 |
| | |||||
* | Rename ImplItem to AssocItem | Edwin Cheng | 2020-05-05 | 1 | -1/+1 |
| | |||||
* | Propose custom derives in completion | Kirill Bulatov | 2020-05-02 | 1 | -8/+7 |
| | |||||
* | Complete assoc. items on type parameters | Jonas Schievink | 2020-04-29 | 1 | -0/+10 |
| | |||||
* | Complete union fields after dot | Jonas Schievink | 2020-04-28 | 1 | -12/+15 |
| | |||||
* | Don't add call parens when an fn type is expected | Jonas Schievink | 2020-04-25 | 1 | -0/+7 |
| | |||||
* | Rename StructField -> Field | Aleksey Kladov | 2020-04-25 | 1 | -17/+17 |
| | |||||
* | Do not add default and closure types in 'add explicit type' assist | Kirill Bulatov | 2020-04-21 | 1 | -0/+4 |
| | |||||
* | Ignore proc-macro in completion | Edwin Cheng | 2020-04-18 | 1 | -0/+11 |
| | |||||
* | 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.) |