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