Stream: t-compiler

Topic: PR #53316 inf trait normalization


nikomatsakis (Sep 27 2018 at 15:35, on Zulip):

So I have some concerns about #53316 ...

nikomatsakis (Sep 27 2018 at 15:36, on Zulip):

first off, it seems like this bug is being reported fairly late (if Reveal::All is true...)

nikomatsakis (Sep 27 2018 at 15:36, on Zulip):

I think we might want to see if we can catch the error earlier -- for example, by checking if the "hidden type" for an opaque type includes a reference to itself

nikomatsakis (Sep 27 2018 at 15:36, on Zulip):

that seems like a better fix?

Last update: Nov 22 2019 at 05:00UTC