nikomatsakis: so maybe we want 3 variants ...
... that unify treats the same ...
Unify doesn't have to change at all then, since it doesn't actually look into the alias (it just puts it in
AliasEq, but nothing else)
@nikomatsakis So we talked about these two options:
AliasDefId; putting just the
Aliasand adding a
Aliasto an enum (projection, impl trait, type alias)
I'm not sure we came to a conclusion there, but either way,
unify treats them the same, and the main implementation work is adding support for
impl Trait types, right?
@detrumi sounds right. I think I mildly lean towards the simpler type enum for now