Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge #866 | bors[bot] | 2019-02-22 | 1 | -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 Constants | Ville Penttinen | 2019-02-21 | 1 | -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 bit | Florian Diebold | 2019-02-20 | 1 | -0/+17 |
|/ | | | | | | Also make them display a tiny bit nicer. Fixes #860. | ||||
* | Fix some typos | Pascal Hertleif | 2019-02-12 | 1 | -2/+2 |
| | |||||
* | reformat the world | Aleksey Kladov | 2019-02-08 | 1 | -10/+4 |
| | |||||
* | Make doc comments optional | Jeremy Kolb | 2019-01-26 | 1 | -6/+1 |
| | |||||
* | rename source_file -> parse | Aleksey Kladov | 2019-01-26 | 1 | -3/+3 |
| | |||||
* | rename FilesDatabase -> SourceDatabase | Aleksey Kladov | 2019-01-26 | 1 | -1/+1 |
| | |||||
* | fold syntax database into files database | Aleksey Kladov | 2019-01-26 | 1 | -1/+1 |
| | |||||
* | move rename to a new mod | gfreezy | 2019-01-19 | 1 | -2/+1 |
| | |||||
* | remove Canceled from API impl | Aleksey Kladov | 2019-01-15 | 1 | -29/+19 |
| | |||||
* | remove Cancelable from type inference | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from funciton body | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from source binders | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | Fix type inference for raw (byte) strings | Marcus Klaas de Vries | 2019-01-14 | 1 | -3/+2 |
| | |||||
* | Remove duplication | Jeremy Kolb | 2019-01-14 | 1 | -74/+23 |
| | |||||
* | Add visibility to hover | Jeremy Kolb | 2019-01-14 | 1 | -9/+41 |
| | |||||
* | Tweak message shown for query fallback | Pascal Hertleif | 2019-01-13 | 1 | -1/+5 |
| | | | | Small tweak for #518 | ||||
* | Add an explanatory message when we use the Query fallback | DJMcNab | 2019-01-13 | 1 | -4/+11 |
| | |||||
* | rename TreePtr -> TreeArc | Aleksey Kladov | 2019-01-11 | 1 | -2/+2 |
| | | | | This is much clearer about the semantics | ||||
* | fix tests | Aleksey Kladov | 2019-01-11 | 1 | -1/+1 |
| | |||||
* | envapsulate navigation target better | Aleksey Kladov | 2019-01-11 | 1 | -2/+2 |
| | |||||
* | Fix typo defenition -> definition | Marcus Klaas de Vries | 2019-01-08 | 1 | -1/+1 |
| | |||||
* | fix usages after rename | Aleksey Kladov | 2019-01-08 | 1 | -0/+257 |