Stream: t-compiler/wg-nll

Topic: Bindings and locals


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

@eddyb @oli Regarding https://github.com/rust-lang/rust/pull/56231#discussion_r279783952 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: Nov 22 2019 at 00:10UTC