diff options
| author | Florian Diebold <flodiebold@gmail.com> | 2020-04-12 12:28:24 +0200 |
|---|---|---|
| committer | Florian Diebold <flodiebold@gmail.com> | 2020-04-13 15:57:28 +0200 |
| commit | c8b2ec8c20be44ae19d15e90ff812745f029899e (patch) | |
| tree | 98ed585238a37d722159a489db24e0514ae562ce /editors/code/src | |
| parent | c388130f5ffbcbe7d3131213a24d12d02f769b87 (diff) | |
| download | rust-c8b2ec8c20be44ae19d15e90ff812745f029899e.tar.gz rust-c8b2ec8c20be44ae19d15e90ff812745f029899e.zip | |
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 'editors/code/src')
0 files changed, 0 insertions, 0 deletions