diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-06 17:28:42 +0100 |
|---|---|---|
| committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-06 17:28:42 +0100 |
| commit | 9dc9a7a3e2fa858125f9b3c6170c0b259da06fb6 (patch) | |
| tree | cce758eabcbcfbb1bc1673601477a9c86580cb2b /crates/ra_hir/src/nameres.rs | |
| parent | 219e0e8c8d6672feaab2f19b7c3280d5967360e4 (diff) | |
| parent | f854a29c9adcfeaa7164928ff91daab9ca9a063c (diff) | |
Merge #1496
1496: Add trait obligations for where clauses when calling functions/methods r=matklad a=flodiebold
E.g. if we call `foo<T: Into<u32>>(x)`, that adds an obligation that `x: Into<u32>`, etc., which sometimes allows type inference to make further progress.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/nameres.rs')
0 files changed, 0 insertions, 0 deletions