diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-07 16:47:56 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-07 16:47:56 +0100 |
| commit | 4a89a7c9026dc3df4466f7b10c666186830d38f6 (patch) | |
| tree | fdf832ba772141368f27d733cd718ee9a599a346 /crates/ra_hir/src/resolve.rs | |
| parent | a73b424e3bcf3e211f87d5a9b175a89231848c6d (diff) | |
| parent | 8fb3cab76c60fbff5ae6f5984ac07b09b42b742c (diff) | |
Merge #1786
1786: Various minor trait improvements r=matklad a=flodiebold
- lower bounds on trait definition, i.e. super traits
- use super traits for associated types
- use traits from where clauses and their super traits for method resolution
- lower fn-like paths (i.e. `Fn(X, Y) -> Z`)
- pass the environment to Chalk in the correct way to make elaboration work, i.e. inferring things like `T: Clone` from `T: Copy`. The clauses need to be wrapped in `FromEnv` clauses for that to work, which I didn't do before.
- add some tests for closure inference already
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/resolve.rs')
0 files changed, 0 insertions, 0 deletions