A new proposal has been announced #300. It will be brought up at the next meeting.
I was originally going to just submit a PR, but
PlaceContext is used in quite a few places in
cc @Santiago Pastorino
hey @Jonas Schievink, unsure why did you ping me but let me read the proposal I guess :)
Because MIR Visitors seem to be something you tend to maintain :)
do I? :joy:
thanks for pointing that out to me :)
so I think the proposal makes sense yeah
@oli may have a better idea though
I've often wondered whether all the visitors should have a Zipper-like parameter that provides such contextual info
(but that is a bigger more global revision)
(now I'm wondering whether one automatically define a set of zippers for a given data-type via a macro)
(this looks pretty good to me)
I would happily second
FYI, the implementation is blocked on #72931.
@T-compiler: Proposal #300 has been seconded, and will be approved in 10 days if no objections are raised.