Stream: wg-traits

Topic: Alias enum


detrumi (Jan 13 2020 at 20:15, on Zulip):

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)

detrumi (Jan 13 2020 at 20:20, on Zulip):

@nikomatsakis So we talked about these two options:

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?

nikomatsakis (Jan 14 2020 at 21:19, on Zulip):

@detrumi sounds right. I think I mildly lean towards the simpler type enum for now

Last update: Jan 21 2020 at 08:20UTC