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
..
infer	Implement Chalk variable kinds	2020-07-01 20:40:38 +02:00
tests	Fix inference of indexing argument (partly)	2020-07-03 18:17:06 +02:00
traits	Merge #5149	2020-07-01 18:41:06 +00:00
_match.rs	Avoid all unchecked indexing in match checking	2020-06-17 21:41:07 +02:00
autoderef.rs	Implement Chalk variable kinds	2020-07-01 20:40:38 +02:00
db.rs	Split CrateImplDefs in inherent and trait impls	2020-07-01 17:15:20 +02:00
diagnostics.rs	Use dynamic dispatch in AstDiagnostic	2020-07-01 10:46:27 +03:00
display.rs	(Partially) fix handling of type params depending on type params	2020-06-29 16:10:20 +02:00
expr.rs	unsafe: Clean up, improve tracking, add debug_assert	2020-06-27 10:13:14 -04:00
infer.rs	Fix inference of indexing argument (partly)	2020-07-03 18:17:06 +02:00
lib.rs	Implement Chalk variable kinds	2020-07-01 20:40:38 +02:00
lower.rs	(Partially) fix handling of type params depending on type params	2020-06-29 16:10:20 +02:00
method_resolution.rs	Merge #5149	2020-07-01 18:41:06 +00:00
op.rs
primitive.rs	Clean up handling of int/float literal types	2020-06-06 17:52:00 +02:00
test_db.rs	Better factoring	2020-06-30 12:14:16 +02:00
tests.rs	ItemTree: Lower fields despite invalid type	2020-07-01 19:24:39 +02:00
traits.rs	Implement Chalk variable kinds	2020-07-01 20:40:38 +02:00
unsafe_validation.rs	Simplify unsafe expr collection match	2020-06-27 12:00:46 -04:00
utils.rs	Use correct substs for super trait assoc types	2020-06-19 21:46:47 +02:00