Stream: t-compiler/wg-mir-opt

Topic: Make iterate yield a PlaceElem


Santiago Pastorino (Jun 19 2019 at 16:33, on Zulip):

@oli was telling me that @RalfJ suggested somewhere to make iterate yield a PlaceElem

Santiago Pastorino (Jun 19 2019 at 16:33, on Zulip):

for now that doesn't seem to be possible https://github.com/rust-lang/rust/blob/44fb88d25282d9362774536965f2455f677734f3/src/librustc_mir/borrow_check/place_ext.rs#L58

RalfJ (Jun 19 2019 at 17:02, on Zulip):

hm that's an odd iteration. so that looks at all the "intermediate types"?

RalfJ (Jun 19 2019 at 17:02, on Zulip):

oh but only after a Deref

RalfJ (Jun 19 2019 at 17:03, on Zulip):

yeah I can see that with Deref being a projection this might be hard

oli (Jun 19 2019 at 17:27, on Zulip):

This makes me worried we'll hit this anyway when moving to slices

oli (Jun 19 2019 at 17:27, on Zulip):

but with slices we can take subslices, so it may not be a problem after all

Last update: Nov 17 2019 at 07:35UTC