Niko Matsakis
dabd7507b6
Ensure that, for every trait Foo, the predicate Foo : Foo holds.
2015-01-02 12:09:38 -05:00
Niko Matsakis
7092af7ee3
Normalize predicates found on the impl
2015-01-01 18:48:26 -05:00
Niko Matsakis
6cb425d964
Rework normalization so that it works recursively, since the types extracted from an impl are potentially in need of normalization. This also lays groundwork for further cleanup in other areas by disconnecting normalization from the fulfillment context.
2014-12-31 12:50:30 -05:00
Niko Matsakis
0aa7ba9f5e
Normalize bounds also in the UFCS cases (and get more systematic about it)
2014-12-31 11:16:28 -05:00
Niko Matsakis
4f05ec7d2c
Patch projection to not be so eager to unify type variables. This code
...
is still probably wrong since it fails to incorporate the ambiguity
resolution measures that `select` uses. Also, made more complicated by
the fact that trait object types do not impl their own traits yet.
2014-12-31 11:15:42 -05:00
Niko Matsakis
919975d0a5
Address nits.
2014-12-30 09:36:23 -05:00
Niko Matsakis
7ed0e23209
Resolve merge conflicts. This changes should really be integrated back to their respective
...
commits but oh dear what a pain.
2014-12-30 09:36:23 -05:00
Niko Matsakis
b7c6e317b0
Make projected types select out of the trait bounds.
2014-12-30 09:36:22 -05:00
Niko Matsakis
de806bc057
Teach project to project associated types out of object types.
2014-12-30 09:36:22 -05:00
Niko Matsakis
4404592f36
Implement associated type projection and normalization.
2014-12-30 09:36:21 -05:00
