Stream: t-compiler/wg-nll

Topic: Bindings and locals

Matthew Jasper (Apr 30 2019 at 18:41, on Zulip):

@eddyb @oli Regarding what would be the preferred way to store diagnostic information for MIR locals. After that PR we will be both abusing debug info and smuggling data in the is_user_variable field of LocalDecl. Would a side table in MIR that is cleared after borrow checking be preferable (to both), or do you have some other ideas?

eddyb (Apr 30 2019 at 18:42, on Zulip):

uhm, I'm not sure. I think this is a bunch of information that doesn't belong in the MIR, but I don't know how to fully express it

eddyb (Apr 30 2019 at 18:43, on Zulip):

using debuginfo for MIR borrowck diagnostics may be fine, but there are a few places where... more interesting decisions get taken, I think?

eddyb (Apr 30 2019 at 18:46, on Zulip):

anyway, I gtg now

eddyb (Apr 30 2019 at 18:46, on Zulip):

we should discuss this somewhere, but I really am not sure what to do. the "temporary" vs "user variable" distinction is brittle IMO

Last update: Jul 02 2020 at 13:25UTC