aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_ide_api/src/hover.rs
Commit message (Collapse)AuthorAgeFilesLines
* Merge #866bors[bot]2019-02-221-0/+20
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | 866: Implement basic support for Associated Methods r=flodiebold a=vipentti This is my attempt at learning to understand how the type inference works by adding basic support for associated methods. Currently it does not resolve associated types or constants. The basic idea is that `Resolver::resolve_path` returns a new `PathResult` type, which has two variants, `FullyResolved` and `PartiallyResolved`, fully resolved matches the previous behavior, where as `PartiallyResolved` contains the `PerNs<Resolution` in addition to a `segment_index` which contains the index of the segment which we failed to resolve. This index can then be used to continue inference in `infer_path_expr` using the `Type` we managed to resolve. This changes some of the previous apis, so looking for feedback and suggestions. This should enable fixing #832 Co-authored-by: Ville Penttinen <[email protected]>
| * Implement basic support for Associated Methods and ConstantsVille Penttinen2019-02-211-0/+20
| | | | | | | | | | | | | | This is done in `infer_path_expr`. When `Resolver::resolve_path` returns `PartiallyResolved`, we use the returned `Resolution` together with the given `segment_index` to check if we can find something matching the segment at segment_index in the impls for that particular type.
* | Fix handling of generics in tuple variants and refactor a bitFlorian Diebold2019-02-201-0/+17
|/ | | | | | Also make them display a tiny bit nicer. Fixes #860.
* Fix some typosPascal Hertleif2019-02-121-2/+2
|
* reformat the worldAleksey Kladov2019-02-081-10/+4
|
* Make doc comments optionalJeremy Kolb2019-01-261-6/+1
|
* rename source_file -> parseAleksey Kladov2019-01-261-3/+3
|
* rename FilesDatabase -> SourceDatabaseAleksey Kladov2019-01-261-1/+1
|
* fold syntax database into files databaseAleksey Kladov2019-01-261-1/+1
|
* move rename to a new modgfreezy2019-01-191-2/+1
|
* remove Canceled from API implAleksey Kladov2019-01-151-29/+19
|
* remove Cancelable from type inferenceAleksey Kladov2019-01-151-1/+1
|
* remove Cancelable from funciton bodyAleksey Kladov2019-01-151-1/+1
|
* remove Cancelable from source bindersAleksey Kladov2019-01-151-1/+1
|
* Fix type inference for raw (byte) stringsMarcus Klaas de Vries2019-01-141-3/+2
|
* Remove duplicationJeremy Kolb2019-01-141-74/+23
|
* Add visibility to hoverJeremy Kolb2019-01-141-9/+41
|
* Tweak message shown for query fallbackPascal Hertleif2019-01-131-1/+5
| | | | Small tweak for #518
* Add an explanatory message when we use the Query fallbackDJMcNab2019-01-131-4/+11
|
* rename TreePtr -> TreeArcAleksey Kladov2019-01-111-2/+2
| | | | This is much clearer about the semantics
* fix testsAleksey Kladov2019-01-111-1/+1
|
* envapsulate navigation target betterAleksey Kladov2019-01-111-2/+2
|
* Fix typo defenition -> definitionMarcus Klaas de Vries2019-01-081-1/+1
|
* fix usages after renameAleksey Kladov2019-01-081-0/+257