@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?
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
using debuginfo for MIR borrowck diagnostics may be fine, but there are a few places where... more interesting decisions get taken, I think?
anyway, I gtg now
we should discuss this somewhere, but I really am not sure what to do. the "temporary" vs "user variable" distinction is brittle IMO