diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-03 17:18:34 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-03 17:18:34 +0100 |
| commit | 7ad7f3ca8ca7503e3749e93a80ec1b7aa1491e6c (patch) | |
| tree | 43dbcb044394d4c6c12a183b578abb14b27a5892 /crates/ra_hir_ty/src/infer | |
| parent | 0f68fed4a0701330e0296f6623567e5584f2f7ba (diff) | |
| parent | 57feb323f79d1d7f7dd6251d4606ba12a800953a (diff) | |
Merge #5211
5211: Fix inference of indexing argument (partly) r=flodiebold a=flodiebold
We need to add the `T: Index<Arg>` obligation to be resolved later as well, otherwise we can't make inferences about `Arg` later based on the `Index` impls.
This still doesn't fix indexing with integer variables though; there's a further problem with Chalk floundering because of the variable, I think.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer')
0 files changed, 0 insertions, 0 deletions