Stream: t-compiler/wg-nll

Topic: inventory-migrate-mode


centril (Oct 02 2019 at 21:27, on Zulip):

cc @Matthew Jasper @pnkfelix

We should inventory what we're still using migrate mode for and whether it should be removed.
I recall we still need it for:
- https://github.com/rust-lang/rust/issues/59159
- Differences in diagnostics, in particular wrt. regionck
- Adding #![feature(nll)] does some more stuff?

centril (Oct 02 2019 at 21:29, on Zulip):

also cc @simulacrum

RalfJ (Oct 09 2019 at 14:18, on Zulip):

const qualification is also going through a migration currently, but I am not sure if it could or should re-use that infrastructure... Cc @ecstatic-morse @eddyb

RalfJ (Oct 09 2019 at 14:18, on Zulip):

and @oli

eddyb (Oct 09 2019 at 14:19, on Zulip):

it's not a user-visible migration

eddyb (Oct 09 2019 at 14:19, on Zulip):

we have two implementations that should behave identically and we'll remove the older one before we add features to the newer one I think

RalfJ (Oct 09 2019 at 14:28, on Zulip):

kk

nikomatsakis (Oct 11 2019 at 20:52, on Zulip):

I think @centril the biggest thing is regionck. It's going to take some work to migrate all existing users to the NLL checker.

centril (Oct 11 2019 at 20:53, on Zulip):

yeah that makes sense

nikomatsakis (Oct 11 2019 at 20:53, on Zulip):

However, it's work I'm thinking about trying to mentor as part of #wg-traits -- certainly they're at least somewhat entangled.

centril (Oct 11 2019 at 20:53, on Zulip):

it was basically the part I didn't dare to touch when throwing out ast borrowck :P

centril (Oct 11 2019 at 20:54, on Zulip):

nice!

nikomatsakis (Oct 11 2019 at 20:54, on Zulip):

it was basically the part I didn't dare to touch when throwing out ast borrowck :P

that was wise :)

nikomatsakis (Oct 11 2019 at 20:55, on Zulip):

(because we are not ready yet)

centril (Oct 11 2019 at 20:58, on Zulip):

:D

Last update: Nov 21 2019 at 13:10UTC