Stream: t-compiler/wg-nll

Topic: move-path


nikomatsakis (Aug 31 2018 at 14:16, on Zulip):

@pnkfelix I have a question. I am devoting some time this morning to writing up rustc-guide docs on the borrow checker, starting with MoveData.

nikomatsakis (Aug 31 2018 at 14:16, on Zulip):

I was looking at the definition of move-paths

nikomatsakis (Aug 31 2018 at 14:17, on Zulip):

they are defined over the "abstract domain" that aims to exclude indices

nikomatsakis (Aug 31 2018 at 14:17, on Zulip):

however, it is also an error in the builder to construct a move-path that indexes into a slice or an array

nikomatsakis (Aug 31 2018 at 14:18, on Zulip):

is there any time when this "abstract domain" becomes important?

pnkfelix (Aug 31 2018 at 14:19, on Zulip):

I wouldn't be surprised if that abstract domain were in fact an idea from the early prototypes that should have been abandoned.

nikomatsakis (Aug 31 2018 at 14:19, on Zulip):

I mean it .. still seems relevant

nikomatsakis (Aug 31 2018 at 14:19, on Zulip):

in particular

nikomatsakis (Aug 31 2018 at 14:20, on Zulip):

well, I don't know, but I keep having thoughts that I would like to revamp the whole setup

nikomatsakis (Aug 31 2018 at 14:20, on Zulip):

so that we use something like move paths for all paths

nikomatsakis (Aug 31 2018 at 14:20, on Zulip):

and don't directly use mir::Place

pnkfelix (Aug 31 2018 at 14:20, on Zulip):

right

nikomatsakis (Aug 31 2018 at 14:20, on Zulip):

at which point obviously we do care

pnkfelix (Aug 31 2018 at 14:20, on Zulip):

so maybe "abandon" is the wrong word

nikomatsakis (Aug 31 2018 at 14:20, on Zulip):

though I think at that point I would probably just not use Place at all

nikomatsakis (Aug 31 2018 at 14:20, on Zulip):

but instead have a distinct structure

pnkfelix (Aug 31 2018 at 14:20, on Zulip):

more that its infrastructure

pnkfelix (Aug 31 2018 at 14:20, on Zulip):

that is currently unused

nikomatsakis (Aug 31 2018 at 14:20, on Zulip):

yep

nikomatsakis (Aug 31 2018 at 14:20, on Zulip):

ok

pnkfelix (Aug 31 2018 at 14:20, on Zulip):

but perhaps could be used in some fashion

nikomatsakis (Aug 31 2018 at 14:20, on Zulip):

just wondering if you could think of any time it would be relevant

pnkfelix (Aug 31 2018 at 14:20, on Zulip):

no I cannot, not offhand

nikomatsakis (Aug 31 2018 at 14:21, on Zulip):

I can't make an example to show how it works :P

nikomatsakis (Aug 31 2018 at 14:21, on Zulip):

I'll just ignore it

pnkfelix (Aug 31 2018 at 14:21, on Zulip):

I still wonder if we should kill it

pnkfelix (Aug 31 2018 at 14:21, on Zulip):

and put it back when we're actually ready to do it right

pnkfelix (Aug 31 2018 at 14:21, on Zulip):

(whatever that means)

nikomatsakis (Aug 31 2018 at 14:23, on Zulip):

ps writing docs is hard :)

Last update: Nov 22 2019 at 00:30UTC