diff options
author | Florian Diebold <[email protected]> | 2020-04-12 11:28:24 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-04-13 14:57:28 +0100 |
commit | c8b2ec8c20be44ae19d15e90ff812745f029899e (patch) | |
tree | 98ed585238a37d722159a489db24e0514ae562ce /crates/ra_hir/src | |
parent | c388130f5ffbcbe7d3131213a24d12d02f769b87 (diff) |
Add support for bounds on associated types in trait definitions
E.g.
```
trait Trait {
type Item: SomeOtherTrait;
}
```
Note that these don't simply desugar to where clauses; as I understand it, where
clauses have to be proved by the *user* of the trait, but these bounds are proved
by the *implementor*. (Also, where clauses on associated types are unstable.)
Diffstat (limited to 'crates/ra_hir/src')
0 files changed, 0 insertions, 0 deletions