diff options
| author | Florian Diebold <[email protected]> | 2019-03-31 19:02:16 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-04-14 10:28:53 +0100 |
| commit | a1ed53a4f183b5826162eb9e998207b92be9c57f (patch) | |
| tree | 7c139a7dc38483188653c6d40583cddac9d23192 /editors/code/src | |
| parent | 413c87f155ab6b389b1cc122b5739716acccb476 (diff) | |
More trait infrastructure
- make it possible to get parent trait from method
- add 'obligation' machinery for checking that a type implements a
trait (and inferring facts about type variables from that)
- handle type parameters of traits (to a certain degree)
- improve the hacky implements check to cover enough cases to exercise the
handling of traits with type parameters
- basic canonicalization (will probably also be done by Chalk)
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions