diff options
author | Florian Diebold <[email protected]> | 2020-07-03 16:39:06 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-07-03 17:17:06 +0100 |
commit | 57feb323f79d1d7f7dd6251d4606ba12a800953a (patch) | |
tree | cd24fdeb7f4ee5cfb8c074c73721c53f2c3ccdd0 /crates/ra_hir_ty/src/infer/path.rs | |
parent | dceec6176b49f886b94f1e149887fc9542702971 (diff) |
Fix inference of indexing argument (partly)
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.
Diffstat (limited to 'crates/ra_hir_ty/src/infer/path.rs')
0 files changed, 0 insertions, 0 deletions