diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-24 20:08:10 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-02-24 20:08:10 +0000 |
| commit | 61d961263387f7293f3d0c4d7b8c8c9a07959ced (patch) | |
| tree | b22232818d8d8ad8fff5b11b1656e2602115cd55 /crates/ra_hir/src/generics.rs | |
| parent | 5a684099e9aa3482b408002030fafe1dcd0fa9a9 (diff) | |
| parent | c3c09795614f31f988edc9cb051ce024d1996d89 (diff) | |
Merge #892
892: Type aliases r=matklad a=flodiebold
This implements type aliases (i.e. `type` definitions).
There's just one snag: handling recursion. E.g. `type Foo = Foo` makes type inference panic with a query cycle. I think the best way to handle this would be if Salsa provided the ability to catch cycle errors? It seems that there's some work underway to support this [here](https://github.com/salsa-rs/salsa/issues/6) and [here](https://github.com/salsa-rs/salsa/pull/147). Should we wait for this? I don't see a good way to handle this without help from Salsa.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/generics.rs')
0 files changed, 0 insertions, 0 deletions