Florian Diebold 6cfdfdecba Add representations of associated types ... This adds three different representations, copied from the Chalk model: - `Ty::Projection` is an associated type projection written somewhere in the code, like `<Foo as Trait>::Bar`. - `Ty::UnselectedProjection` is similar, but we don't know the trait yet (`Foo::Bar`). - The above representations are normalized to their actual types during type inference. When that isn't possible, for example for `T::Item` inside an `fn foo<T: Iterator>`, the type is normalized to an application type with `TypeCtor::AssociatedType`.		2019-08-12 21:43:00 +02:00
..
src	Add representations of associated types	2019-08-12 21:43:00 +02:00
Cargo.toml	Bump deps	2019-08-04 10:43:51 +03:00