Stream: t-compiler/wg-nll

Topic: Removing regions #56638


Matthew Jasper (Jan 03 2019 at 19:30, on Zulip):

But first, just to talk about this. I think I agree that the removal from MIR doesn't end up being worth it.

Matthew Jasper (Jan 03 2019 at 19:30, on Zulip):

I'll roll that back so that the PR is removing the regions from HAIR and always using erased regions in MIR construction.

nikomatsakis (Jan 04 2019 at 19:03, on Zulip):

@Matthew Jasper OK that seems reasonable

Last update: Nov 21 2019 at 23:25UTC