Florian Diebold 57feb323f7 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.		2020-07-03 18:17:06 +02:00
..
src	Fix inference of indexing argument (partly)	2020-07-03 18:17:06 +02:00
Cargo.toml	Update Chalk to released version	2020-06-28 21:24:20 +02:00