rust/crates/ra_ide_db/src
bors[bot] 2a3ab7f3b4
Merge #4689
4689: Implement return position impl trait / opaque type support r=matklad a=flodiebold

This is working, but I'm not that happy with how the lowering works. We might need an additional representation between `TypeRef` and `Ty` where names are resolved and `impl Trait` bounds are separated out, but things like inference variables don't exist and `impl Trait` is always represented the same way.

Also note that this doesn't implement correct handling of RPIT *inside* the function (which involves turning the `impl Trait`s into variables and creating obligations for them). That intermediate representation might help there as well.

Co-authored-by: Florian Diebold <flodiebold@gmail.com>
Co-authored-by: Florian Diebold <florian.diebold@freiheit.com>
2020-06-05 15:46:28 +00:00
..
change.rs Merge #4689 2020-06-05 15:46:28 +00:00
defs.rs Add hover actions as LSP extension 2020-06-05 14:59:26 +03:00
imports_locator.rs Use more generic public api 2020-03-24 10:43:22 +02:00
lib.rs Minimize FileLoader interface 2020-06-05 17:22:56 +02:00
line_index.rs Fix column conversion for supplementary plane characters 2020-05-05 20:30:52 +03:00
search.rs recursively search submodules 2020-05-31 12:05:54 -04:00
source_change.rs KISS SourceChange 2020-05-22 18:04:26 +02:00
symbol_index.rs Generate features docs from source 2020-05-31 01:54:54 +02:00
wasm_shims.rs Docs 2020-02-06 15:10:17 +01:00